I If I was doing it without rotenone and a complete kill was important as the goal I would have reduced the existing 3/4ac of new water down to a even lower pool maybe only 1 ft deep or lower. Then added twice as much hydrated lime as suggested.
I agree and suggested this approach. As an added benefit this process greatly reduces the cost/amount of hy-lime needed.