(read_rgb_txt): Support HTML 4.0 color names.