A decade of fast radio bursts. (November 2018)