- either double clicking the plugin entry in the top half, or, if already
- selected in top half, by clicking <kbd class="button">Add</kbd>.
+ either double clicking the plugin entry in the top left part, or, if already
+ selected in top left part, by clicking <kbd class="menu">Add</kbd>.