alias & #align

Stream: mathlib4

[Reid Barton]

When mathlib3 and mathlib4 both contain alias commands then the resulting aliases still need to be #aligned, right?
Could mathport write the #align commands automatically?