It is so dry in my part Germany right now, the only mushrooms that grow in significant numbers are summer oysters. And then they are often too dry aswell. This is the only good patch I found during my last hunt.
How are things in your places?
Edit: cannot upload my oyster pic :(
Creating a pr for it sounds like a sensible plan tbh, file extensions are usually case insensitive afaik