Add Infiltrator.jl to Base?

[jbu]

An older thread has additional details / tips that might be helpful for keeping Infiltrator out of your dependencies:

Separate "Dev" packages in Project.toml

When creating a package, I often use dependencies that are purely for development and have nothing to do with my package’s functionality (e.g. Revise.jl, Debugger.jl, Infiltrator.jl. If I ever wanted to share my package, these unnecessary packages would be shared too unless I manually deleted them from the Project.toml. Pipenv (for Python) makes a distinction between “dev” dependencies only needed for development ([dev-packages] in the Pipfile), and strictly necessary dependencies needed for ru…