The updated page is available here: https://spotbugs--3137.org.readthedocs.build/en/3137/annotations.html
I did not write a translation in Japanese or Portuguese because I don't know these languages, but hopefully this Maven or Gradle dependency declarations are self-explanatory

I'm not convinced, that this is the best place for these infos. IMO it would be better to have it elsewhere and just refer that in the annotations page.

There are already some info, how these can be used at the FindBugs -> SpotBugs migration, but that's a bit different context.

I initially thought about adding this on the README page but I'm worried that some users might think that the annotation library IS spotbugs (and merely add the dependency but wont actually analyze the project).
I think it makes sense to have them on the Annotations page, but let me know if you see a better place

I'm not convinced, that this is the best place for these infos. IMO it would be better to have it elsewhere and just refer that in the annotations page.
There are already some info, how these can be used at the FindBugs -> SpotBugs migration, but that's a bit different context.

I initially thought about adding this on the README page but I'm worried that some users might think that the annotation library IS spotbugs (and merely add the dependency but wont actually analyze the project). I think it makes sense to have them on the Annotations page, but let me know if you see a better place

I was first thinking on the Using the SpotBugs Maven / Gradle Plugin pages, but you are right, that could cause confusion. I can't find any better place, it's okay like this.