Documentation of the deprecation of the old plugin name.