How Hard Can It Be to Manage a Library?