Looks like @pachydermoid hasn't received any replies!