Version 4

Get rid of after/plugin hack allowing use of Pathogen to install; improve TOhtml version detection