The thing you linked seems to be 'annotations generally' whereas Fermat's library is 'curated sequence of academic papers with an annotations feature'