dictionary.man: document the new/missing options