I need some JS in the plugins.php page. It might be overkill to load all libraries here for only few lines. Opinion on this?