Library inhabitants frantically typing to meet paper deadlines may soon be surprised to find themselves with a few extra minutes