Looks like @granville hasn't received any replies!