@bdeskin There's the illusion of progress with Github, though. And you can color code.