Fix #11756#11758

jfbu merged 1 commit intosphinx-doc:mastersphinx-doc/sphinx:masterfrom

jfbu:substitutefontobsoletejfbu/sphinx:substitutefontobsoleteCopy head branch name to clipboard