Any recommendations for a virtual server provider, kind of like the smallest Digital Ocean server (and that price range), but one that even Stallman would approve, or at least not vehemently reject?..