Removing TODOs and turning them into github issues