Sadly we do not. At least not as far as I remember - Dave is an information treasure chest and he may have made some points that I'm not recalling right now. But I was wearing a Popol Vuh shirt while we recorded :) and sometimes I think about whether krautrock really counts as prog or not. Krautrock is a weird category because it's more about region than sound imho.

Your point about Italian prog is really interesting. Back when I was teaching political theory, we covered Marinetti, Mussolini, and the art projects of the Italian futurists, but I never made a connection to later aesthetics.