Oops, I accidentally committed it after playing around a bit. It\u2019d still be nice to have that, but unfortunately, adding your suggestion doesn\u2019t work\u2014something tries to look up the plugin from disk. For now, I\u2019ll remove it.