docs: what a deliberately awkward page taught us#365

AminChirazi merged 1 commit into

mainautomators-com/flowproof:mainfrom

docs/obstacle-findingsautomators-com/flowproof:docs/obstacle-findingsCopy head branch name to clipboard