Finally upgraded to the current version of the theme I use – except it’s so heavily customized by now that the upgrade required plenty of re-customizing.

Please let me know if anything is broken or anything otherwise looks unusual for your setup.

Thanks, David