20140131: more finishing touches to HOWTO