Looks like @arrant-knave hasn't received any replies!