it's almost certainly going to be removed by a future maintainer if left like this. looks like a typo. replace with html entity?  &#34;