How major was the discovery of the 15th tiling pentagon, https://en.wikipedia.org/wiki/Pentagonal_tiling#Mann.2FMcLoud.2FVon_Derau_.282015.29_Type_15? The history makes for a nice story.