Sure, but are you worried about someone cheating on their arXiv submission by ex...

		ctmnt 35 days ago \| parent \| context \| favorite \| on: Lean proved this program correct; then I found a b... Sure, but are you worried about someone cheating on their arXiv submission by exploiting a buffer overflow? It’s a real bug, it’s just not very important.