Thanks for giving it a try! Yes, the hide sticky note feature should be more visible. Workspace switching is also a good idea!
Your assumption about the metadata is correct! The original file is not tampered with. If you want to share a file with your highlights and annotations, there’s an export button in the hamburger menu on the top left (this UX is really bad, gonna fix this soon). Yeah should rework the guide too.
We have added an export notes as well but it’s in beta because it behaves a little weirdly with the LaTeX. Probably a good idea to export the entire notebook as a LaTeX file.
Your assumption about the metadata is correct! The original file is not tampered with. If you want to share a file with your highlights and annotations, there’s an export button in the hamburger menu on the top left (this UX is really bad, gonna fix this soon). Yeah should rework the guide too.
We have added an export notes as well but it’s in beta because it behaves a little weirdly with the LaTeX. Probably a good idea to export the entire notebook as a LaTeX file.