Hi Matt, On Tue, 14 Feb 2023 at 17:58, Matt Sicker <m...@musigma.org> wrote: > > ... I’m not sure if IDEs and such can figure out the javadocs from the source > jar itself.
I have disabled javadoc downloads in my Eclipse ages ago and it still shows me javadocs. Whenever sources are available, I don't believe that javadoc jars are useful. Piotr