@mathsppblog
I did that about 10 years ago. It wasn’t that hard.
Then a few years later, I did it again. It was easier the second time around.