Robothorium mods

Robothorium small mods

Everything filed under small by its own author, ordered by how much it is used.