On Wed, 17 Dec 2025 17:25:12 +0100, Kurt Miller <[email protected]> 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
