That first link you posted doesn’t work for me, its not clickable. Looks like it set as code instead of URL.
Anyway, why are you running the enviro phat installer on your Picade hat?
curl https://get.pimoroni.com/picadehat | bash is the recommended install code.
From here, Picade X HAT USB-C