The web specifications should have been written in Haskell with a test suite. From there, it should be just a matter of optimization. Still a big task, but completely doable in a package by package basis.