Release v3.0.1; see readme for details.