Smooth compactifications of locally symmetric varieties | lit.salon