While there, document what we need to document without mentioning too many details about release builds, for which we have the Makefile. See https://github.com/ooni/probe/issues/2218.