Restore development support and minimize migration diff#1

bdice merged 2 commits into

sphinx-portbdice/docs:sphinx-portfrom

fix/sphinx-devcontainer-cleanupbdice/docs:fix/sphinx-devcontainer-cleanupCopy head branch name to clipboard