Renamed OPTION_4O6_ options to OPTION_DHCP4_O_DHCP6_ and a few minor things
Regenerated txt version of the document.