Currently, I have a share function for notes. I plan to add a duplicate feature to let people copy others' notes into their accounts. Other export/download methods, including export to PDF, will be on the TODO list depending on users' feedback. Do you have any idea what kind of format is good for export/download?