Heya, we finally found the slippery root cause of some programming lens searches failing, due to some fallback code that wasn't being utilized. We still plan to completely overhaul the programming lens as part of our internal indexing efforts, which should hopefully be a serious level up over what we can do via upstream indexes.
Thanks for your patience - for any further issues, please open a new ticket 🙂