Waldek, Apologies for the slightly mangled message sent a few minutes ago (missing colon after 'cc'), half asleep. This is the version I intended to send -- I hope.
Many thanks for all this. I look forward to trying it out in the near future, on my Fedora 32 machine with kernel 5.11.22-100.fc32.x86_64, though at present I am overcommitted, including attending (remotely) an unrelated conference. I am pretty confident that if it all works as intended it will be fairly easy for me to use the result to restore my normal poplog-based working environment, including private libraries for Ved and Pop11, and my own collection of start-up and autoloadable scripts. Aaron
