I don't have much preference other than it works and shows the status on PR within some time.

Maybe the old Python package was called python-dev?

—
Reply to this email directly or view it on GitHub.