this file. It should be used in place of this PNG file when not inferior. File:Banderacatalana1231.png → File:Bandera del Principat de Catalunya (1200...