-static gchar *feed_html_header =
-"<!DOCTYPE html>"
-"<html>"
-" <head>"
-" <meta charset=\"UTF-8\">"
-" <title>Feeds</title>"
-" </head>"
-" <body>"
-" <p>Feeds found on this page:</p>"
-" <ul>"
-;
-
-static gchar *feed_html_footer =
-" </ul>"
-" </body>"
-"</html>"
-;
-
-static gchar *grab_feeds =
-"a = document.querySelectorAll('"
-" html > head > link[rel=\"alternate\"][href][type=\"application/atom+xml\"],"
-" html > head > link[rel=\"alternate\"][href][type=\"application/rss+xml\"]"
-"');"
-"if (a.length == 0)"
-" null;"
-"else"
-"{"
-" out = '';"
-" for (i = 0; i < a.length; i++)"
-" {"
-" url = encodeURIComponent(a[i].href);"
-" if ('title' in a[i] && a[i].title != '')"
-" title = encodeURIComponent(a[i].title);"
-" else"
-" title = url;"
-" out += '<li><a href=\"' + url + '\">' + title + '</a></li>';"
-" }"
-" out;"
-"}"
-;
-