Looks like @ozner hasn't received any replies!