hex_to_bytes(): simpler replacement for `get_oid_hex_segment()`