[Documentation] Correct the proofs for ipfire.org