Hi Leo,
Greetings from Glasgow (same timezone as you for once?)
I really appreciate your thoughts! They broadened my perspective on various ways to do this.
After weighing the pros and the cons, I decided that the most rewarding would be to write a script button to do exactly what I want, depending on the types of files in the tab.
I posted the complete button here. It was a nice exercise for me as I haven't played enough with button scripting, and I had started to collect some bits and pieces to write a beginner page about it some time this year.
Thanks again, wishing you a beautiful day.