Add documentation by linking to the pdf _Originally posted by @Entenwilli in https://github.com/DataFlowAnalysis/DataFlowAnalysis/pull/361#pullrequestreview-3529824248_