tree 2d762b6107474e2df617c2d72c5b4a78597213e0 parent d7fcbd9c38f629d4568c10e3db0402a38c275074 author Florian Nücke 1394394324 +0100 committer Florian Nücke 1394394324 +0100 robots could be - unintentionally - be renamed in the anvil. now they keep their name, and get a random name when first placed! also, their name is rendered as a label above them, similar to player names.