Stopped double hyphens being turned into long dashes in manual
Merge branch 'v2.1' of https://github.com/plumed/plumed2 into v2.1