Am So., 5. Juli 2020 um 16:44 Uhr schrieb Timo Rothenpieler <timo at rothenpieler.org>: > Generally, this seems incredibly hard to maintain and will very likely > cause confusion every time someone adds stuff in the future. True, and this is while this will not even reach the committee. Carl Eugen