sphinx dev: remove dev- tags
sphinx dev: remove dev- tags

mfussenegger/jedi,jonashaag/jedi,dwillmer/jedi,tjwei/jedi,WoLpH/jedi,tjwei/jedi,mfussenegger/jedi,flurischt/jedi,dwillmer/jedi,jonashaag/jedi,flurischt/jedi,WoLpH/jedi