Security warning on --recurse-submodule (of llemma_formal2formal)

[jabowery]

Apparently the solution to this security warning is to execute:
ssh-keygen -R github.com
However, the actual solution is to, after the above command, add all of GitHub's SSH key fingerprints to ~/.ssh/authorizedkeys:

https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/githubs-ssh-key-fingerprints

My reason for posting this issue here is that even though this issue originated last March, I've cloned several repositories since then without ever encountering this warning until attempting this repository. Moreover, none of the other repositories required the --recurse-submodule option.

[zhangir-azerbayev]

Fixed by #86