As part of the bs5 work, I converted the top-right-corner document search box to be select2-based, i.e., AJAX/JSON-based. I just realized that not all expected results are being shown.
For example, entering rfc900 into the box shows only "RFC900" as a result, but not RFC9000, RFC9001 or any other document containing that string.
Similarly, entering 8312 as a search term finds two I-Ds, but not RFC8312.
As part of the bs5 work, I converted the top-right-corner document search box to be select2-based, i.e., AJAX/JSON-based. I just realized that not all expected results are being shown.
For example, entering
rfc900into the box shows only "RFC900" as a result, but not RFC9000, RFC9001 or any other document containing that string.Similarly, entering
8312as a search term finds two I-Ds, but not RFC8312.