Text this: Distribution theory and inference for bivariate extremes