changes: small number of bug fixes (in particular a few corrections to the documentation and a few fixes in the FreeType font backend)