Prefer a chat interface with context about you and your work?
Addendum to “Fake projective planes” Invent. Math. 168, 321–370 (2007)