Update the version string in the web docs to match VERSION
Replace the gte/lte/ne characters with two character versions. Maybe PDF generation on readthedocs will work now.