Danke. Vielleicht sollte man das wirklich nicht machen. Aber ich will die Option offen halten. Wahrscheinlich frag ich mal einen Maintainer danach.