rename robbie -> robbie_the_rabbit

BUR #9127 has been approved by @Hillside_Moose.

rename robbie -> robbie_the_rabbit

Two tags for the same character. Might as well alias to the less ambiguous one.

Should be renamed imo.

+1, but edit it to rename.

Laudividni said:

+1, but edit it to rename.

Okay, edited.

The bulk update request #9127 (forum #206929) has been approved by @Hillside_Moose.