The (HTML) Manual links to the Dataflow Manual at https://eisop.github.io/cf/manual/checker-framework-dataflow-manual.pdf which only results in a 404.