Fair question. IP options in the header are generally not used due to performance degredation in parsing extended headers in hardware based packet filters. So they are part of the spec but generally not used due to this. I have worked in CDNs and large internet facing networks for over 20 years and we implicitly drop any IP headers over 20 bytes (meaning they have options set).