Also switch the mobile user manual html over to something created on my machine and (as usual) named .html.git Signed-off-by: Dirk Hohndel <dirk@hohndel.org>