Robothorium mods

Robothorium big mods

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