[https://fadec0d3.blogspot.com/2017/11/hxp-2017-aleph1.html](https://fadec0d3.blogspot.com/2017/11/hxp-2017-aleph1.html)

Original writeup (https://fadec0d3.blogspot.com/2017/11/hxp-2017-aleph1.html).