Release v3.1.2; see README for details