Looks like @philippon hasn't received any replies yet!