Export notes to Notion

Send notes to Notion, or copy them in a Notion-friendly format.