Default all the VERS_CHECK to VERS_HTML5
Change OverBar to 8254 in place of 175
Change UnderBar to 95 in place of 818
Change angst to 197 in place of 8491
Add bsolhsub 10184
Change epsi to 949 over 1013
Change epsiv to 1013 over 949
Change ohm to 937 over 8486, although appears the same
Change phiv to 981 over 966
Remove race as a two-value entity
Add suphsol 10185
Change varepsilon to 1013 over 949
Change varphi to 981 over 966
This bug was first openned in 2009 by Christophe Chenon, as bug sf905 but
the patch provided then never made it into the source.
Now appears fixed, 7 years later!