A user experienced that the internal Dashboard plugin was no longer loading, nor was it available in Options->Plugins. The reason was probably that something had happened on the computer at one point ...
Clearly, these are related, the stuff should be on one place, linked in the other. For dependency reasons, I think it would be better with a link development -> plugins i. e., that this chapter ...