Full threadrbonvall·I took the liberty of converting this to LaTeX: https://www.overleaf.com/read/vbnkshcwhcykView on HN