About the General category

[kuba-orlik]

A general catch-all category for misc discussions