Instead of duplicating javascript in every single page, put it in a standalone file which can be cached by the browser. Reviewed-by: Andrea Bolognani <abologna@redhat.com> Signed-off-by: Daniel P. Berrangé <berrange@redhat.com>