Objectives widget fetches objectives from mission runner gadget if restarted after game start; various fixes