Versions 9.11-9.13

These were released as patches provided to users with specific problems; the solutions to those problems are also in Version 9.2 released to the general public