Using google scripts to rename labels in gmail

I like Gmail. While I recognize it can get lumped into a “social media” bucket and I’m not the biggest fan of pixel tracking, targeted advertisements, and other online marketing shenanigans, I find it to be a nice productivity tool. It also has a nice suite of hotkeys and vim-like shortcuts that allow me to sort and label emails with ease. This is what I really love.