Looks like @cherny hasn't received any replies!