I share this concern, but it’s not too hard to write Main.@infiltrate instead of just @infiltrate.
Main.@infiltrate
@infiltrate