3 ms·

I am very glad that you can now rename Terminal sessions. I will often have several of the same type running.