Still interesting what would be used to polish a gold plated beryllium mirror. For instance, looks like they clean it by spraying CO2 snow: https://en.wikipedia.org/wiki/Carbon_dioxide_cleaning
Just looked at the reference you dropped. Thanks, that is an interesting little rabbit hole.