copy-as-rtf
copy-as-rtf copied to clipboard
Added Python Console support
Pygments has different name for "Python Console" syntax