How I Shrunk an AWS EBS Volume (And Survived the GRUB Panic to Tell the Tale)

A real-world war story about migrating a Jenkins server from a 650GB EBS volume to 200GB — on Ubuntu...