Delete docs for a release (Documenter.jl)

[traktofon]

Thanks, I’ll give that a try.