Ha! I didn't notice identifier in line 6, sorry.

type works well, the other two options look worse in my opinion, but at least they would also be different from plain text. Should I close this and submit a new pull request with these two modifications?


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.