Version bump to 3.1.12. Updated docs to match.