Release v3.0.1; see README for details