Add a link to the ticket system.
Add a link to the ticket system.

Most users visit the IDE fairly often, so it's reasonably likely
that this will remind them to grab their ticket at some point.

jmorse/cyanide,jmorse/cyanide,jmorse/cyanide,jmorse/cyanide