Geometry and cohomology of compactified Deligne--Lusztig varieties | Synapse