Text this: Kodaira–Spencer isomorphisms and degeneracy maps on Iwahori-level Hilbert modular varieties: the saving trace