yarn
yarn copied to clipboard
In generated javadocs, "official" mappings should be renamed to "proguard"
Official may suggest this is mojmap, but it's just the obfuscated proguard name
EDIT: for reference

Changing this here will mean confusion with all the other places its called official. (Such as actually in the mappings) Changing that is a massive job that has little benefit imo.
Add something to the javadoc somewhere might be helpful?
In the javadoc gen, we use the namespace names from the .tiny file. If we change, I think we should start from the tiny files.
Add something to the javadoc somewhere might be helpful?
We can either add it to the overview page -overview or the help page -helpfile. Related to #1285.