web: doc version 20141105
web: remove unneeded <p> close tags

Not needed in HTML5. On the other hand, HTML5 also deprecates <tt>, which
I use a lot ...