Talk:Derpy/@comment-5614349-20130723181808/@comment-11456511-20130723185307

Isn't that discussion's consensus also that Ditzy Doo is a secondary name for Derpy rather than the name of an unspecified pony (meaning that List of ponies/Mentioned ponies needs merging into Derpy's article)?