Lovely, and a nice summary of the workflow!
Does anyone have an idea why he might use After Effects? As far as I know, Premiere Pro can do all of the things he’s listed, i.e. “specify the frame rate of the video, trim the video if needed, stabilize hyper-lapses, and export your video into a file that can be read on other computers or editing programs”?

Started out doing photography at the age of 6 using an uncle's old 1940 kodak brownie box camera. At 15 years of age, I decided to buy my very own 1975 Praktica SLR camera. I now shoot with a Nikon D850. I do unpaid TFP and commercial paid work.