[python-committers] banning core developers -- public or private? [was: Resignation from Stefan Krah]