Ginger vs. Grammarly (2022): Beyond Grammar Checks to a Battle of Language Philosophies