Text this: Local heights on hyperelliptic curves and quadratic Chabauty.