Notionのエクスポート、ページごとにやると3000ページくらいで止まるので困っていたが、左バーの「設定」から「設定」を開き、「ワークスペースのすべてのコンテンツをエクスポートする」を選べば数字が出ないので、これは一晩で行けるのでは……？と思っている。