it's not a big deal but things like the sremovedhorpe problem are annoying and it gets in the way of some math topics but c/math isn't exactly hopping and how much do we need to talk about how a point is a removed sphere anyway?