I thought it was kinda ridiculous before reading the post, but Pinkamena actually seems like a really cool and unique name.
I mean, yeah, some people might think it sounds like a disease, but one of the main names I go by IRL is actually Coey, which oddly, for some reason, is a name passed down to the first born male in a generation.
Personally, I think it's really cool to have such a unique name.
I think Lyra might have been a bit more normal, but at least they didn't choose Pinkie Pie, Applejack, Nightmare Moon or anything like that.
They could've also gone with Candace, Celestia, Luna, Rarity, or something like that, but Pinkamena is still a really good name.
But Optimus Prime? I guess it's.... better than Turdnose McDoodyArmpit? Right?