This package was submitted to CRAN on 2020-08-06. Once it is accepted, delete this file and tag the release (commit b81ae0e31c).