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