The docs folder is auto-created by nimble and hence removed from the
source tree. This particular version of the package does not successfully
build that documentation, but this does not change its intended redundancy.

 -- Steffen Moeller Sat, 27 Apr 2019 14:49:25 +0200
