Some design documentation and TODOs