Updated files for the v3.1.15 maintenance release

Don't forget the "(no longer supported)" in the preceding header (see how it is done for v3.0).