1.6.7.3 released

Fix the encoding of escaped characters in glossary
Fix the encoding of escaped characters in the help format
Fix the scrollbars not selectable in the swing JavaFX help component after showing the search
Improve the layout of pre content (reduce the space at the left before the spans when possible)