Éric Araujo <mer...@netwok.org> added the comment: I can reproduce.
Source code: <dt id="debug__"> <span id="__debug__"></span><code class="sig-name descname">__debug__</code><a class="headerlink" href="#debug__" title="Permalink to this definition">¶</a></dt> HTML IDs should start with a letter, a rule which is generally ignored by browsers because of the amount of pages using numerical IDs for example. I think the HTML5 spec does not require starting with a letter, but I haven’t found that stated clearly. ---------- nosy: +eric.araujo _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue46064> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
