Do we have more options than 5?
weekly bump in hopes additional attention will lead to an answer
I see six, but I think so. I wonder if the highlight styles sync from other platforms. That <may> be the case... but if so, there is only limited support for special highlighters. One of my six is "bold," which is not exactly what I used last on mobile.
