michaelg/dev: links for mkdocs-oceanbase-theme