https://haskellschaden.blogspot.com/2022/06/hotlink-line-problem-today-2020-can-we.html