While you're not wrong, I suspect that .lan sees more real world usage than .local

It may not be an official standard, but it does have some weight as a de-facto standard.

I've tried briefly to try and find some numbers to back that up, but can't find much beyond apple's bonjour vs consumer routers - although I've seen companies with AD domains using .lan as well. (Although, I've also seen companies using 1.0.0.0/8 for their internal addressing...)

it definitely gets used, and i hope that the application is denied, but i also hope this is another wake up call for people that pick unreserved domains.