devel-docs: update release-howto.txt for the new server