I'm interested in adding a Lexer for NVIDIA PTX for a project I'm working on. I see that there's some documentation here for adding a new Lexer. Would this be okay to add to the Pygments library?