This reverts commit 0f1b84040d. The new mechanism to save config.plugins upon user's configuration reload let us stay compatible with existing plugins.
0f1b84040d