Make addmarkup.sed case-insensitive.