Commit 2023-09-22 09:46 1097d1a5

feat: environment extension for #align_import (#6926) Implements the environment extension corresponding to the #align_import command. This is a prerequisite for making it work in mathport. I also made the origin information (git repo & commit) optional, since this may not be available for e.g. local projects, and mathport doesn't need it to work.