It's 2012. Why is copying text out of a PDF still so hard? Surely someone's written a PhD on inferring capitalisation, at least?