Release v3.2; see README for details