What's the current recommendation for people for whom port 80 is blocked?

Thanks. Assuming DNS-01 isn’t an option, which of the options suggested there would be recommended on an “out of the box” Ubuntu 18.04 system? This post suggests it’s a low priority for certbot; is there an “idiot’s guide” to installing any of the others as there is for certbot? Picking one at random, this may be comprehensive but it does not appear to contain the information required .