[crux-commits] ports/contrib (3.6): python-html5lib: dropped