Ask HN: Any tech companies/devs doing anything to honor veterans this year?