"Are all references to Amiga, Workbench, AmigaOS, etc. going to be dropped from aros.org?"
Referring to these products, and actually using another company's trademark in the name of your product, are two different things.
This is a smart move given that everyone refers to it by the acronym anyway. AROS has its own brand awareness now.