News in 3.13.3
--------------
* Extend the api to obtain candidate encodings
* Rework drawing of spaces and margins (requires new Gtk+)
* Various other improvements and bugfixes
* Translation updates