Nice DeepSWE score! Does it survive a lowercase filename? | Hacker News Reader