Looks like @hoggny hasn't received any replies!