If upgrading from 20.3 to 20.5, does File Doctor need to be run? The instructions have the warning about not being able to run it after the upgrade to version 20 is done, but if we're already at a 20.x version, does that matter? (we did run it and it…