> I believe the 4th doctor discuss what pronouns to use for an alien.

An alien, not a human.

> There have been several episodes essentially about slavery in the 10th and 11th doctors runs.

Progressive in 1830 maybe. In the 21st century saying that slavery is bad thing is hardly revolutionary.

> The Happiness Patrol, a 7th doctor episode

A bit of left wing subtext and some caricature? So what? Very common at the time. Lots of comedians doing the same. Nothing like woke, not even a bit controversial.