[padraic7a]

Libraries are less geared towards study now, and more towards offering communal space, but they're still libraries. But it is a shame if they don't have a quieter space available too.