Oh! Apologies, I just saw that someone else said something relevant and decided to post my comment as a reply to them instead of a top level comment. Sorry for the confusion!