[enchilado]

Or Glukkons for Industrial, Mudokons for Native?

I thought of that, but thought it wouldn't be possible because the rep icons don't have /[theme]/[theme]/ in their URL... I guess the theme can just be changed, though.