* IDEAS.md: Add some of our development ideas.