Does anyone use CodeTools.jl?

package

#1

I’m considering deprecating this package as it doesn’t appear that it’s being used by other tooling efforts – it would remove the maintenance burden of having an extra package to release for Juno, and free up the name for other uses.

Let me know if you object, of course.