[crux-commits] ports/opt (3.2): check: 0.9.14 -> 0.10.0, updated man path