It's on a separate context menu from the one used for highlighting and color selection. That couldn't be helped because the WebExtensions API does not include a selector context, so I had to perpetrate a little hack with HTML's version of context menus.