goto.dev brings essential IDE features to your browser: documentation on hover, go to definition, and more. Works on all commits on all public Java GitHub repos. No config needed.
We're sad to see you go 😢 Please let us know why in the contact form below.