Old discussion notes needing categorization¶
The following are old discussion notes which may or may not reflect the current reality.
Help from domain experts would be welcome, since some of these documents probably ought to be moved to a more prominent location, some should be deleted, and some left here.