And it'd be kind of nice if people were to play on it. I'm getting lonely just rocket-jumping around empty maps.

192.223.24.232:27015

Has map voting, rtv and custom maps (including some which I think were on the old Chocolate Hammer server back when that was a thing). And if anyone feels it'd be improved by some additional sort of fiddling with the settings or whatever, they can ask me.
If people play on the server I may keep it, but obviously I'm less likely to bother if it's just going to sit there not being used and costing me a small amount of money every month.