BUR #7603 has been approved by @nonamethanks.
rename donatello -> donatello_(tmnt)
rename michelangelo -> michelangelo_(tmnt)
rename leonardo -> leonardo_(tmnt)
rename raphael -> raphael_(tmnt)
rename shredder -> shredder_(tmnt)
create alias splinter_(tmnt) -> master_splinter
Being named largely after objects and renaissance painters the cast of Teenage Mutant Ninja turtles could use a bit more distinction from their namesakes.