Semi-infinite flags. II: Local and global intersection cohomology of quasimaps spaces \(K\)-theory and mapping spaces: an appendix to ``Equivariant semi-topological \(K\)-homology and a theorem of Thomason'' 