Hello , I was reading about Primecoin and found a guide how got mine on DigitalOcean. http://primecoin.io/mine-cloud.php Wonder if Mining for Primecoins really are allowed at DigitalOcean?