Hi corinneolson, thank you so much for your reply.
I ended up here because I’ve got the same request. However – and please forgive my ignorance – I’m not able to follow your instructions. How and where exactly should I add that filter you mention? Directly to the theme editor? In addition, can this be done in such a way it won’t revert back to the old ‘Library’ label once there’s a theme update?
Many thanks in advance