Quali sono le categorie di docs?

[Moin]

@tobiaseigen

quando.

Tutto quello che posso dire è che era già così l’8 novembre.