Release v3.1.1; see README for details.