Also, I should clarify that the library was originally orthogonal to my PhD work and done at home on my laptop at night. The very early version of the library was about a summer's worth of full time (unfunded) work. I didn't start absorbing it into my research until the end of my Ph.D.