1.4.8

What's Changed

Nonbreaking change.

• Adapt pdoc docs.yml docs-deploy workflow by @lukasschwab in #113
• Remove ./docs directory from git by @lukasschwab in #114
• Simplify pdoc build, eliminate nav badges by @lukasschwab in #115
• Replace / with _ in legacy-format IDs in download filenames by @lukasschwab in #118

Full Changelog: 1.4.7...1.4.8