Does anyone have any information on this composer? Is Giovanni Petrus a pseudonym for someone more well-known? Droopop (talk) 11:32, 18 August 2023 (UTC)