Case-insensitive option

[federico9996]

Hello! I was wondering if it's possible / of interest to add a case-insensitive option, so that variations between upper-case and lower-case words don't show up in the final .pdf.

Thank you!

[ftilmann]

This requires some modification but should not be too difficult to implement. Nevertheless, I see it as quite a niche requirement, so will leave open as a "Low priority" feature request. If you also want this feature, drop a note here.