Looks like @philius hasn't received any replies!