docs: def hex_to_rgb(hex_value):
      """
      Convert a hexadecimal color value to a 3-tuple of integers
      suitable for use in an ``rgb()`` triplet specifying that color.
  
      """
      hex_value = normalize_hex(hex_value)
      hex_value = int(hex_value[1:], 16)
      return IntegerRGB(
          hex_value >> 16,
          hex_value >> 8 & 0xff,
          hex_value & 0xff
      )