About the General category

[Florian]

General stuff that doesn’t belong to a special category