Text this: A survey on the positive mass theorem for asymptotically flat initial data sets