Looks like @philippon hasn't received any replies!