On Tuesday, 7 December 2021 at 14:56:56 UTC, H. S. Teoh wrote: > import it at the top of each file The whole point is to not have to do that. To specify the import once, on command line.