((∑[T𝒰]∏A∈T]A≃1 Aug 15, 2021 05:13PM tired: cleaning up commits, rebase and mergewired: copying files and commit to the main branch