It looks like v3.1.0 has been committed into the code; can a release be tagged and added to the Releases page?