◐ Shell
clean mode source ↗

Message 287534 - Python tracker

Victor, thanks for clarifying!  That eliminates my objection, if there's a tacit agreement that the functionality can be broken by mistake and it's the dedicated maintainer (Xavier or someone else)'s job to repair it :-)