Thanks - much appreciated as a Safari user.

Just installed it – thanks for the pointer. Works exactly as expected.

This is the one I use, too. It does exactly what you need it to do.

Excellent extension, been using it for years.