Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Extension setup notes #991
Currently the "notes" option for extensions is being handled by cot_parser. So it uses your current parsing method.
We should convert this to simply use a language string when it exists similar to other options. This way pure html formatting can be used.