In case you’re wondering how dumb I am, I only just realised the significance of the lead character in Project Hail Mary being called Grace.