Remove unused lines from scripts/auxiliar/doc-section.sh