Totallib: Note-taking for better thinking, augmented by AI. | Product Hunt