Ramsay Jones [off-list ref] writes:
$path is part of the public API, so we can't just remove it. It would
require a deprecation period, etc,. (Adding/documenting $sm_path as an
alternative *may* be worth doing. dunno.)
I think exporting sm_path (if not done already) and documenting the
transition may be a good starting point, but deprecation of $path
may be tricky. There is no good way for us to warn people who
continue using $path and ask them to fix their fingers and scripts
to use $sm_path instead.