diff --git a/doc/RequiredPorts.mangosproof b/doc/RequiredPorts.mangosproof
index 34579daf..8828e65b 100644
--- a/doc/RequiredPorts.mangosproof
+++ b/doc/RequiredPorts.mangosproof
@@ -1 +1 @@
-rUzt6Qdc4EKKtuvr7m2AqM9iQu/Ewo17ul9iktjbtIC4oSTjYtD9kk4xk+lvxAFg2soaw2cvIWw2aArt5lanaEXCgQbziGFOk+7xyiNL8L5EYI1Z1ktvsKuftuPexVFyu57ZCenLn4Yj8EDgqWTNxs55HMUG3aW9BOx7kfvZkpO4qt8HCaJS80HXFTxlZRzb4IR3QNPCO1LMq/Pcmg3V86hM6SpUP1pKJMP5yYI0lFLNMjPKaMWHr+SD4bjbR+sbgl96qd/rBeCfFOTjg6ciHBEiBeR4ZnLrZNLhEdWrFa5HokYGYf2CApxJyDTHCQIC
\ No newline at end of file
+rUzt6Qdc4EKKtuvr7m2AqM9iQu/Ewo17ul9iktjbtIC4oSTjYtD9kk4xk+lvxAFg2soaw2cvIWw2aArt5lanaEXCgQbziGFOk+7xyiNL8L5EYI1Z1ktvsKuftuPexVFyu57ZCenLn4Yj8EDgqWTNxs55HMUG3aW9BOx7kfvZkpO4qt8HCaJS80HXFTxlZRzb4IR3QNPCO1LMq/Pcmg3V86hM6SpUP1pKJMP5yYI0lFoTsQIBjCNecxlP2LZV8EgkqzqWErjF4579LLxeU3wR/111rrjNRSCbtBRMbbnfglieyc2gNpMdZzzN+lPjKJGuc7NQMKGfdkrgAOdCafOaYV1Y6qLxnVBPB9ZBLo0a8YveOcqSVtlCvlAvzBOCOvyA3p0l/FdffpOsBoFtHsOur77IuUcnY0Lq9liLm4xX85k28Tl8oPo2jMxar9i3fqpoEhPcY578N00pCfPhO60jc1WB3tUrzUno1kljQVMcz2mtcgE+ckqEMVScAEVt265j9t9HOyX+qqVTSzhNFyqwGAbL5ucFMP6cMkl6HYO/OlV=