13:26
<jmdyck>
I just noticed that my PR #3063 un-defined ids like "thisbooleanvalue" (which have been around since the merge of #2103, about 3 years ago). Would you like me to file a PR to reinstate them as oldids on "sec-thisbooleanvalue" etc?