Bring style of INSTALL* documents in sync with README file