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