Correct, as per the Social Media section on his How I Do My Computing page:
> I have a Mastodon account, @rms on mastodon.xyz, which mirrors the political notes of stallman.org. The person who set up the mirroring chose that site. [1]
The same document also says he has a similar Twitter account called rmspostcomments, that he doesn't use himself either.
