V1.3.3, with minor bugfixes and terminology improvements.