polys: merge branch 'master' into modgcd