J. L. Costa, "Black hole uniqueness theorems: brief history and state of affairs", in XIV Black Holes Workshop, Aveiro, 2021