Added documentation for 3e164a237d5e173f618a913a1d9e2a5f60a5eeb5
* Various other fixes to manPages.html
* Fixed off-by-one bug in FeatureScan.main(String[])