[RELEASE] Version 3.1.0 with bugfixes and a new manual.