mathport import naming

Stream: mathlib4

[Maxwell Thum]

It seems that mathport is writing import Mathlib.Data.Set.Pointwise.Smul when it should be writing import Mathlib.Data.Set.Pointwise.SMul. I know this is an easy fix, but is it cause for concern? Is this issue specific to the way we've named SMul?

[Eric Wieser]

This probably came up for ENat vs Enat too. Perhaps we need some kind of #align_filename command to prevent all the downstream imports needing fixing?