Add export and reproduce-instructions to Sage post