diff --git a/doc/bugs/Map_sorts_subtags_under_a_different_tag.mdwn b/doc/bugs/Map_sorts_subtags_under_a_different_tag.mdwn index e5c4523e7..f7ff2dd31 100644 --- a/doc/bugs/Map_sorts_subtags_under_a_different_tag.mdwn +++ b/doc/bugs/Map_sorts_subtags_under_a_different_tag.mdwn @@ -27,4 +27,21 @@ and this works, except that for *whatever* reason, it actually sorts the three ■ developers ■ users +And this is actually in the HTML code: + +