Renaming HOWTO as suggested in #261.