Unable to retrieve data from "https://mathoverflow.net/questions/333534/a-complete-formalization-of-ega-in-lean/333554": HTTP/1.1 403 Forbidden