Do you need to stick around after the end of "Project Hail Mary" for any sort of major post-credits scene? Here's the deal.