On Thu, 18 Nov 2021, Eric Gallager wrote: > I'd find it easier to just edit the page linked to in wwwdocs instead, > so I'm going to start seeing what I can do to update it. I figured I'd > start by removing the references to Java in it, since Java has been > removed. A patch to do that is attached. Eric Gallager
Cool, thank you! Please feel free to commit patches like this without asking for approval (though I'm happy to review and approve). Gerald
