Years ago, a historian used lasers to map Notre Dame. His work could save it | Dark Hacker News