Translations:Manual:Table of contents/3/es

Todo HTML en los encabezados está desnudado en el TOC, excepto $tags.