The shutdown of library.nu