News in 3.1.3
-------------
* New Markdown lang file
* New Standard ML lang file
* Misc bugfixes
* Updated translations