Title: A short guide to the library