Hi Tobias,
Thanks for your help. The latest upgrade to WordPress 5.1.1 seems to have fixed the shortcode problem altogether.
Thanks. Upon further investigation, it’s definitely the upgrade to WP 5.1 that broke the shortcode; when I downgrade to 5.0.3 everything is fine again. I’ll investigate more when I can.