I'll plug my own client [1], which is also completely manual for those who don't want to go all in on the magic automation just yet. It also has DNS verification, which is probably more convenient in most cases.

[1] https://github.com/veeti/manuale