The ideas
directory is a graveyard for old TODO lists and brainstorming documents,
which explore design
alternatives, and contain research about possible future directions.
Much of this information is out of date.
For project documentation, please visit the docs
directory instead.