study halls should not be tagged as library per the osm library tag wiki... suggest retagging this... not sure if there is a good tag in use for things like this though, any thoughts?

There are a number of study halls tagged as libraries on BU campus here that should all be addressed including:
https://www.openstreetmap.org/node/1979412543, https://www.openstreetmap.org/node/1978952664, https://www.openstreetmap.org/node/1978505195 and https://www.openstreetmap.org/node/1976086727 there may be more...
