If you want evidence of just how busy the public library is these days, consider this: Last year, the Orange County Library ...