Avoid warning about unused options parameter in man writer.