removed supernumerary spaces for user message
recipe to produce pure text format for the dev-doc added

, using the "links" command line browser.