This seems like a tool I'll be using, and this is an almost meaningless criticism, but why the name? There's already the Vale programming language (https://val

This seems like a tool I'll be using, and this is an almost meaningless criticism, but why the name? There's already the Vale programming language (https://vale.dev/ https://vale.dev/), but moreover, I don't get the meaning of "vale". You could call it something like "Englint" which actually hints its purpose.