Great, thanks for the explanation. (I was indeed being dense - should have remembered the distinction between plugin and extension!)