This is essentially a re-release of 15.2.0 -- but that previous version was mistakenly uploaded from a locally-created git tag prepared before some changes from this origin repository were pulled (and hence ended up off-branch after the changes were added).