I wasn’t being pedantic, I was (as per my words), providing further context. Anyone who has watched the show knows these things, they are basic information from it. My post and the one I replied to are (obviously) for people who know close to nothing about it, and those people won’t know who “The Doctor” is, the point was to make it clear it’s the main character.

Also, not only is “The Doctor” not the character’s real name, they have been called “Doctor Who” multiple times, including in credits, so you pedantry isn’t even right.

https://screenrant.com/doctor-who-name-debate-settle-explain...