On Wed, 17 Dec 2025 17:25:12 +0100,
Kurt Miller <kurt@intricatesoftware.com> wrote:
> 
> Do we need this port? Upstream's new location is:
> https://github.com/javaee/javahelp
> 
> Develoment stopped in 2011 and in 2017 a new license added.
> The project has been archived since 2019. Ports that use
> javahelp distribute it as an embedded jar file.
> 

I doubt that anyone can use it these day... So, yes, let's remove it.

-- 
wbr, Kirill