DOI search does not resolve case-insensitive searches

[asopio]

Dear arXiv search developers,
Describe the bug
I have a list of papers with DOIs and I want to use search field on arXiv.org to find their corresponding arXiv entries. I discovered that the search will only turn up results if the case of the of the journal part of the DOI string matches exactly the case used in the arXiv entry.

To Reproduce
For eaxmple, querying 10.1103/physrevlett.108.111601 gives no result:
https://arxiv.org/search/?query=10.1103%2Fphysrevlett.108.111601&searchtype=doi
while querying 10.1103/PhysRevLett.108.111601 does:
https://arxiv.org/search/?query=10.1103%2FPhysRevLett.108.111601&searchtype=doi).

I find this very annoying because I have a long list of papers in many different journals and no way of knowing how the name of each journal should be capitalised in order to match the DOI in the correponding arXiv entry. In my opinion, this is a bug in the search engine.

Expected behavior
DOI strings should be case-insensitive, as both strings above resolve to the same paper on doi.org: https://doi.org/10.1103/PhysRevLett.108.111601
https://doi.org/10.1103/physrevlett.108.111601

Edit: The DOI handbook also confirms that DOIs should be case-insensitive:
https://www.doi.org/doi_handbook/2_Numbering.html#2.4

Desktop (please complete the following information):

• OS: Windows
• Browser: Chrome
• Version: 108.0.5359.73

Cheers,
Alex