Hallo Matthias,

Und du hast keinen Pull Request gestellt, weil…? ;)

du zu mir in Münster sagtest, dass das nicht sehr sinnvoll sei ;-)

Dass ich das nicht für besonders sinnvoll halte :) Das heisst aber nicht, dass man das nicht einbauen sollte, wenn Leute es benötigen.

LG,
CK