[12576+6447] Many minor improvements over the week:
* more metrics (MAR, LAB, LET), with frequencies
* proper pretty-printing of GLUE
* treating (disregarding) comments while reading BGF
* writing BGF markers as markers, not as selectables
* in HTML, <sub> and <sup>
* XBGF:unite rewritten to get rid of a strange bug