Version 4.2.0 release, new manuals built