#' @param minor character vector of 'minor' part of ICD-9 codes, i.e. that part
#'   which falls after the decimal point, in decimal notation. (In 'short' five
#'   digit notation, the 'major' part is the first three characters including
#'   leading zeroes which may be inferred; the last two characters represent the
#'   'minor' part.)
