of this PNG file when not inferior. File:Coras del Emirato de Córdoba.png → File:Coras del Emirato de Córdoba.svg For more information, see Help:SVG....