It is possible to change the visible name for the ORES extension, but not the true name.
- Should we do that? The ORES extension not being powered by ORES is confusing to people when I talk about it, so I am in favor, but could be wrong.
- If we do change it, we'd need to update some docs to reflect the new name.