This package was submitted to CRAN on 2020-05-11.
Once it is accepted, delete this file and tag the release (commit 28d3fe0f0a).