More likely those tags were added afterwards.

Considering he stepped down on the 25th, this post is on the 26th, and it is titled "Thanks", I'm inclined to believe it is not an accidental misconfiguration.