Merge pull request #2828 from travier/docs-theme-update
authorColin Walters <walters@verbum.org>
Fri, 10 Mar 2023 19:16:56 +0000 (14:16 -0500)
committerGitHub <noreply@github.com>
Fri, 10 Mar 2023 19:16:56 +0000 (14:16 -0500)
docs: Use upstream theme & update to 0.4.1


Trivial merge