RE: Where to file a bug on a bookmarklet?

Still hoping for an answer to my question.

From: Lisa Louise Davis (Aquent)
Sent: Wednesday, September 25, 2019 10:05 AM
To: www-validator@w3.org
Subject: Where to file a bug on a bookmarklet?

Hello,
I'd like to file a bug on a bookmarklet<javascript:(function()%7bvar%20removeNg=true;var%20filterStrings=[%22tag%20seen%22,%22Stray%20end%20tag%22,%22Bad%20start%20tag%22,%22violates%20nesting%20rules%22,%22Duplicate%20ID%22,%22first%20occurrence%20of%20ID%22,%22Unclosed%20element%22,%22not%20allowed%20as%20child%20of%20element%22,%22unclosed%20elements%22,%22not%20allowed%20on%20element%22,%22unquoted%20attribute%20value%22,%22Duplicate%20attribute%22];var%20filterRE,root,results,result,resultText,i,cnt=0;filterRE=filterStrings.join(%22|%22);root=document.getElementById(%22results%22);if(!root)%7balert(%22No%20results%20container%20found.%22);return%7dresults=root.getElementsByTagName(%22li%22);for(i=0;i%3cresults.length;i++)%7bresult=results[i];if(result.className!==%22%22)%7bresultText=(result.innerText!==undefined?result.innerText:result.textContent)+%22%22;if(resultText.match(filterRE)===null)%7bresult.style.display=%22none%22;result.className=result.className+%22%20steveNoLike%22;cnt++%7delse%20if(removeNg==true)%7bif(resultText.indexOf(%22not%20allowed%20on%20element%22)!==-1&&resultText.indexOf(%22ng-%22)!==-1)%7bresult.style.display=%22none%22;result.className=result.className+%22%20steveNoLike%22;cnt++%7d%7d%7d%7dalert(%22Complete.%20%22+cnt+%22%20items%20removed.%22)%7d)();> developed by Steve Faulkner that filters results of the Nu HTML Checker to show only failures related to WCAG 2.0 success criterion 4.1.1 Parsing<http://www.w3.org/TR/WCAG20/#ensure-compat-parses>.
My request is that the filter show (rather than hide) errors of type "End tag form seen, but there were open elements." Rationale: (1) This error is relevant to the parsing requirement, and (2) it can generate downstream "Unclosed element" errors that appear to be false positives without the context of the upstream error. (To see this in action, examine the filtered results for this page<https://www.uwb.edu/brand/website/accessibility/examples/inaccessible-page>.)
Could you please tell me whether https://github.com/validator/validator is the right place to file such a bug?
Thanks!
Lisa Louise Davis
Accessibility Tools PM