I’m not sure why these images didn’t get into the last commit.