Fix for BBEdit plugins.ini opener