Release v3.1; see README for details.