Add a few more things to howto.html