Document `hide_dotted`-option.