Emphasize the html documentation over  the info and ps documentation.