Yes, that seems to have done it. Safari Macros are now working on both the Ventura Mac and the other Macs on Monterey with all Macs syncing Keyboard Maestro Macros. And this has been the case for the last few days so it seems like the setting is remaining.
