Migrate docsy 0.13.0#3608

Okabe-Junya wants to merge 2 commits intomaincncf/glossary:mainfrom

Okabe-Junya/docsy-0.7.2cncf/glossary:Okabe-Junya/docsy-0.7.2Copy head branch name to clipboard