Auto hyperlink drops trailing curly brace

[gubbins]

Actually I guess this is a problem with the rendering in the webapp, not the server, right? Maybe this comes from a bug in marked.js?