Doc: add missing option to options TOC