Ask HN: Has anyone used LLMs to audit TrueCrypt for backdoors?