allow HTML <mark> tags

I love Prism, but I’m a little confused about why it is mutually exclusive with my own highlighting. Let’s say I want to highlight an annotation in Java:

<pre ><code class="language-java">package com.example;

public class Point
{

  …

  <mark>@Deprecated</mark>  //NOTE: annotation
  public double calculateSlope(final int x2, final int y2)

If I use just plain HTML5, the <mark> tag makes a nice highlighted section, e.g. with a yellow background. But Prism makes it as if I had never even used the <mark> tag. Why can’t I use both? It would sure be useful to use Prism, yet maintain the ability to highlight certain passages.

[garretwilson]

I just wanted to say that I’ve been using <mark> for a while in Prism, and it’s working like a dream! So useful. Thanks for the effort done to get this working.

[garretwilson]

Oh, I see—that’s a pull request. Someone had indicated a commit ID, so I thought that was the code. I haven’t worked with pull requests on GitHub. So the fix was just to remove the whole thing. OK, if that works.

Sorry for static, and thanks for pointing me in the right direction.