We could be more scrupulous about github issues? But they don't really have any structure.