Whatever happened to that "git-based" document format Linus said he was going to work on?