[crux-commits] ports/core (3.1): file: update to 5.23