plugins.dart is now acquired via Git rather than the pub version.