If someone is linking the additional_plugins into his installation,

If someone is linking the additional_plugins into his installation,
the list of plugins grows too large and load_plugin() on 90 plugins consumes
more than 8MB.

Thus we need pagination for the plugins panel.

The one flaw my patch has is that it can not sort the list of all plugins alphabetically and apply pagination on that, since only loading the plugin shows the real name, and this is what we cannot do.
Any suggestions? Somehow we might need to pre-cache the names of all plugins somewhere...