That look pretty but hope they get those leaves out! Sure don't want to stain that pretty, new plaster.
Since it looks like you will have a lot of leaves in your pool. You should not use anything with wheels in the pool like auto cleaners you should have your wife pick up a manual vacuum set up. She will need to get things like these:
U.S. Pool Supply Weighted Butterfly Pool Vacuum Head with Swivel - Walmart.com
-both of these can be bought from Walmart or Lowes.
This plate will be needed to attach the hose to the skimmer housing. There are others. She might need to go of a pool store to make sure she gets the right size and configuration for your set up:
https://www.lowes.com/pd/Aqua-EZ-Plastic-Vacuum-plate/3027674
The reason you should not use a wheeled cleaner is it will take a little while for your plaster to cure all of the way. If you use wheels in the pool in the very beginning it could leave marks or ridges on the plaster. The vacuum I posted to has bristles on the bottom of it so it is like brushing your pool which needs to be done twice a day anyway so.............
Kim