While we use Github issue for tracking TODOs, we want to be somewhat independent of Github. The main repository is mirrored to Gitlab for example. This should hold a high-level summary of things that we want to do.