Hi @Vincent Molloy ,
I read Step 6 like this - The Public IP of the Fortinet Device should no be in a configured Address Space in the Local Network Gateway configuration.
----------
(If the reply was helpful please don't forget to upvote and/or accept as answer, thank you)
Regards
Andreas Baumgarten