Switch sphinx-panels for sphinx-design in docs
sphinx-panels is no longer maintained, so I should switch over to sphinx-design for tabs and other things.
sphinx-panels is no longer maintained, so I should switch over to sphinx-design for tabs and other things.