Remove sphinx-tabs in favor of sphinx-design’s tabs

[abidingabi]

Having both is redundant, as Sphinx Design has tabs. See https://sphinx-design.readthedocs.io/en/latest/tabs.html. This would require a fairly large diff, but would be easy to do with search and replace.