@SocraticPhoenix I don't really like to remove languages, especially if they have been available for some time. I don't mind if development has stagnated; that's true for most languages on TIO.
@Laikoni This is, unfortunately, true. In an attempt to ban Telegram, Russia has blocked millions of IPs of cloud service providers, including DigitalOcean. I tried changing IPs multiple times, but the new ones I got were also blocked.