https://check.torproject.org/ told me that I wasn't using Tor. So I checked the IP and it was listed on
The relay was active and had an uptime of several weeks. Why would the check give a false negative for a well known relay? Nothing changed when checking again after some waiting.