The pragma preferences will now be installed by the plugins itselves.