Moving TODOs into GitHub issues