configure: In the summary, say which plugins have been disabled by the user.