todos

Here is a short list of things to do with ideas and documents. We duplicate part of the tracker here because it makes it easier to write ideas and comments.