Updated files for the v3.1.15 maintenance release

Need the "(no longer supported)" in the preceding header (see how it is done with v3.0)