Being clear about which tslime plugin to use.