[proxy] complete the text content and styling of web UI pages written so far

1 files changed, 162 insertions, 120 deletions

diff --git a/src/hydrilla/locales/en_US/LC_MESSAGES/messages.po b/src/hydrilla/locales/en_US/LC_MESSAGES/messages.po
index 23d1127..ff2299c 100644
--- a/src/hydrilla/locales/en_US/LC_MESSAGES/messages.po
+++ b/src/hydrilla/locales/en_US/LC_MESSAGES/messages.po
@@ -7,7 +7,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: hydrilla 2.0\n"
 "Report-Msgid-Bugs-To: koszko@koszko.org\n"
-"POT-Creation-Date: 2022-09-02 13:49+0200\n"
+"POT-Creation-Date: 2022-09-05 13:54+0200\n"
 "PO-Revision-Date: 2022-02-12 00:00+0000\n"
 "Last-Translator: Wojtek Kosior <koszko@koszko.org>\n"
 "Language: en_US\n"
@@ -205,105 +205,119 @@ msgstr "Requested file could not be found."
 msgid "api.resource_not_enabled_for_access"
 msgstr "Requested resource is not enabled for access."
 
-#: src/hydrilla/proxy/state_impl/concrete_state.py:107
+#: src/hydrilla/proxy/state_impl/concrete_state.py:106
 msgid "err.proxy.unknown_db_schema"
 msgstr ""
 "Haketilo's data files have been altered, possibly by a newer version of "
 "Haketilo."
 
-#: src/hydrilla/proxy/state_impl/concrete_state.py:111
+#: src/hydrilla/proxy/state_impl/concrete_state.py:110
 msgid "err.proxy.no_sqlite_foreign_keys"
 msgstr ""
 "This installation of Haketilo uses an SQLite version which does not "
 "support foreign key constraints."
 
-#: src/hydrilla/proxy/web_ui/items.py:52
-msgid "err.proxy.uploaded_malcontent_invalid"
-msgstr "The uploaded archive does not contain valid Haketilo malcontent."
-
-#: src/hydrilla/proxy/web_ui/items.py:77
-msgid "err.proxy.uploaded_file_not_zip"
-msgstr "The uploaded file is not a valid ZIP file."
-
-#: src/hydrilla/proxy/web_ui/templates/base.html.jinja:44
+#: src/hydrilla/proxy/web_ui/templates/base.html.jinja:63
 msgid "web_ui.base.title.haketilo_proxy"
 msgstr "Haketilo"
 
-#: src/hydrilla/proxy/web_ui/templates/base.html.jinja:184
+#: src/hydrilla/proxy/web_ui/templates/base.html.jinja:228
 msgid "web_ui.base.nav.home"
 msgstr "Home"
 
-#: src/hydrilla/proxy/web_ui/templates/base.html.jinja:185
+#: src/hydrilla/proxy/web_ui/templates/base.html.jinja:229
 msgid "web_ui.base.nav.packages"
 msgstr "Packages"
 
-#: src/hydrilla/proxy/web_ui/templates/base.html.jinja:186
+#: src/hydrilla/proxy/web_ui/templates/base.html.jinja:230
 msgid "web_ui.base.nav.libraries"
 msgstr "Libraries"
 
-#: src/hydrilla/proxy/web_ui/templates/base.html.jinja:187
+#: src/hydrilla/proxy/web_ui/templates/base.html.jinja:231
 msgid "web_ui.base.nav.repos"
 msgstr "Repositories"
 
-#: src/hydrilla/proxy/web_ui/templates/base.html.jinja:188
+#: src/hydrilla/proxy/web_ui/templates/base.html.jinja:232
 msgid "web_ui.base.nav.load"
 msgstr "Import from file"
 
-#: src/hydrilla/proxy/web_ui/templates/index.html.jinja:22
+#: src/hydrilla/proxy/web_ui/templates/index.html.jinja:23
 msgid "web_ui.home.title"
 msgstr "Welcome"
 
-#: src/hydrilla/proxy/web_ui/templates/index.html.jinja:24
-msgid "web_ui.home.welcome_to_haketilo"
+#: src/hydrilla/proxy/web_ui/templates/index.html.jinja:27
+msgid "web_ui.home.heading.welcome_to_haketilo"
 msgstr "Welcome to Haketilo!"
 
+#: src/hydrilla/proxy/web_ui/templates/index.html.jinja:31
+msgid "web_ui.home.this_is_haketilo_page"
+msgstr ""
+"This is a virtual site hosted locally by Haketilo. You can use it to "
+"configure Haketilo proxy."
+
+#: src/hydrilla/proxy/web_ui/templates/index.html.jinja:37
+msgid "web_ui.home.heading.about_haketilo"
+msgstr "About Haketilo"
+
+#: src/hydrilla/proxy/web_ui/templates/index.html.jinja:41
+msgid "web_ui.home.haketilo_is_blah_blah"
+msgstr ""
+"Haketilo is a tool that gives users more control over their web browsing."
+" It can block unwanted JavaScript software on web pages as well as add "
+"custom logic to them. Haketilo was orignally developed as a browser "
+"extension but has since been made into an HTTP proxy."
+
 #: src/hydrilla/proxy/web_ui/templates/items/item_viewversion.html.jinja:25
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:31
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:33
 msgid "web_ui.err.file_installation_error"
 msgstr "Failed to install needed items from repository."
 
-#: src/hydrilla/proxy/web_ui/templates/items/item_viewversion.html.jinja:30
+#: src/hydrilla/proxy/web_ui/templates/items/item_viewversion.html.jinja:29
 msgid "web_ui.err.uninstall_disallowed"
 msgstr "This item is required and cannot be uninstalled."
 
-#: src/hydrilla/proxy/web_ui/templates/items/item_viewversion.html.jinja:35
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:36
+#: src/hydrilla/proxy/web_ui/templates/items/item_viewversion.html.jinja:33
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:37
 msgid "web_ui.err.repo_communication_error"
 msgstr "Couldn't communicate with repository."
 
-#: src/hydrilla/proxy/web_ui/templates/items/item_viewversion.html.jinja:63
+#: src/hydrilla/proxy/web_ui/templates/items/item_viewversion.html.jinja:40
+msgid "web_ui.items.single_version.version_{}"
+msgstr "Version '{}'."
+
+#: src/hydrilla/proxy/web_ui/templates/items/item_viewversion.html.jinja:71
 msgid "web_ui.items.single_version.retry_install_button"
 msgstr "Retry installation"
 
-#: src/hydrilla/proxy/web_ui/templates/items/item_viewversion.html.jinja:67
+#: src/hydrilla/proxy/web_ui/templates/items/item_viewversion.html.jinja:75
 msgid "web_ui.items.single_version.leave_uninstalled_button"
 msgstr "Leave uninstalled"
 
-#: src/hydrilla/proxy/web_ui/templates/items/item_viewversion.html.jinja:71
+#: src/hydrilla/proxy/web_ui/templates/items/item_viewversion.html.jinja:79
 msgid "web_ui.items.single_version.install_button"
 msgstr "Install"
 
-#: src/hydrilla/proxy/web_ui/templates/items/item_viewversion.html.jinja:72
+#: src/hydrilla/proxy/web_ui/templates/items/item_viewversion.html.jinja:80
 msgid "web_ui.items.single_version.uninstall_button"
 msgstr "Uninstall"
 
-#: src/hydrilla/proxy/web_ui/templates/items/libraries.html.jinja:22
+#: src/hydrilla/proxy/web_ui/templates/items/libraries.html.jinja:23
 msgid "web_ui.libraries.title"
 msgstr "Libraries"
 
-#: src/hydrilla/proxy/web_ui/templates/items/libraries.html.jinja:29
+#: src/hydrilla/proxy/web_ui/templates/items/libraries.html.jinja:39
 msgid "web_ui.libraries.heading"
 msgstr "Available libraries"
 
-#: src/hydrilla/proxy/web_ui/templates/items/library_view.html.jinja:22
+#: src/hydrilla/proxy/web_ui/templates/items/library_view.html.jinja:23
 msgid "web_ui.items.single.library.title"
 msgstr "Library view"
 
-#: src/hydrilla/proxy/web_ui/templates/items/library_view.html.jinja:25
+#: src/hydrilla/proxy/web_ui/templates/items/library_view.html.jinja:27
 msgid "web_ui.items.single.library.heading.name_{}"
 msgstr "Libraries named '{}'"
 
-#: src/hydrilla/proxy/web_ui/templates/items/library_view.html.jinja:35
+#: src/hydrilla/proxy/web_ui/templates/items/library_view.html.jinja:41
 msgid "web_ui.items.single.library.version_list_heading"
 msgstr "Available versions"
 
@@ -321,49 +335,61 @@ msgstr "Library '{}'"
 
 #: src/hydrilla/proxy/web_ui/templates/items/library_viewversion.html.jinja:42
 msgid "web_ui.items.single_version.library.item_required"
-msgstr "This library is required by an enabled mapping. It cannot be uninstalled."
+msgstr ""
+"This library version is required by an enabled mapping. It cannot be "
+"uninstalled."
 
 #: src/hydrilla/proxy/web_ui/templates/items/library_viewversion.html.jinja:46
 msgid "web_ui.items.single_version.library.item_auto_activated"
-msgstr "This library is used by a package which can be activated automatically."
+msgstr ""
+"This library version is used by a package which can be activated "
+"automatically."
 
 #: src/hydrilla/proxy/web_ui/templates/items/library_viewversion.html.jinja:50
 msgid "web_ui.items.single_version.library.item_not_activated"
-msgstr "This library is not used by any active package."
+msgstr "This library version is not used by any active package."
 
 #: src/hydrilla/proxy/web_ui/templates/items/library_viewversion.html.jinja:54
 msgid "web_ui.items.single_version.library.install_failed"
-msgstr "Couldn't install this library."
+msgstr "Couldn't install this library version."
 
 #: src/hydrilla/proxy/web_ui/templates/items/library_viewversion.html.jinja:58
 msgid "web_ui.items.single_version.library.version_list_heading"
-msgstr "Other available versions of this library"
+msgstr "Other available versions of the library"
 
-#: src/hydrilla/proxy/web_ui/templates/items/load_from_disk.html.jinja:22
+#: src/hydrilla/proxy/web_ui/templates/items/load_from_disk.html.jinja:23
 msgid "web_ui.load_from_disk.title"
 msgstr "Import from file"
 
-#: src/hydrilla/proxy/web_ui/templates/items/load_from_disk.html.jinja:32
+#: src/hydrilla/proxy/web_ui/templates/items/load_from_disk.html.jinja:41
 msgid "web_ui.load_from_disk.heading"
 msgstr "Import items from a ZIP archive"
 
-#: src/hydrilla/proxy/web_ui/templates/items/load_from_disk.html.jinja:40
+#: src/hydrilla/proxy/web_ui/templates/items/load_from_disk.html.jinja:45
+msgid "web_ui.err.uploaded_file_not_zip"
+msgstr "The uploaded file is not a valid ZIP file."
+
+#: src/hydrilla/proxy/web_ui/templates/items/load_from_disk.html.jinja:49
+msgid "web_ui.err.invalid_uploaded_malcontent"
+msgstr "The uploaded archive does not contain valid Haketilo malcontent."
+
+#: src/hydrilla/proxy/web_ui/templates/items/load_from_disk.html.jinja:57
 msgid "web_ui.load_from_disk.choose_zipfile_button"
 msgstr "Select file"
 
-#: src/hydrilla/proxy/web_ui/templates/items/load_from_disk.html.jinja:45
+#: src/hydrilla/proxy/web_ui/templates/items/load_from_disk.html.jinja:64
 msgid "web_ui.load_from_disk.install_button"
 msgstr "Import"
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_view.html.jinja:22
+#: src/hydrilla/proxy/web_ui/templates/items/package_view.html.jinja:23
 msgid "web_ui.items.single.package.title"
 msgstr "Package view"
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_view.html.jinja:25
+#: src/hydrilla/proxy/web_ui/templates/items/package_view.html.jinja:27
 msgid "web_ui.items.single.package.heading.name_{}"
 msgstr "Packages named '{}'"
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_view.html.jinja:35
+#: src/hydrilla/proxy/web_ui/templates/items/package_view.html.jinja:39
 msgid "web_ui.items.single.package.version_list_heading"
 msgstr "Available versions"
 
@@ -381,164 +407,176 @@ msgstr "Package '{}'"
 
 #: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:42
 msgid "web_ui.items.single_version.package.item_required"
-msgstr "This package is required. It cannot be uninstalled."
+msgstr "This package version is required. It cannot be uninstalled."
 
 #: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:46
 msgid "web_ui.items.single_version.package.item_auto_activated"
-msgstr "This package can be activated automatically."
+msgstr "This package version can be activated automatically."
 
 #: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:50
 msgid "web_ui.items.single_version.package.item_not_activated"
-msgstr "This package is not active."
+msgstr "This package version is not active."
 
 #: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:54
 msgid "web_ui.items.single_version.package.install_failed"
-msgstr "Couldn't install this package."
+msgstr "Couldn't install this package version."
 
 #: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:58
 msgid "web_ui.items.single_version.package.version_list_heading"
-msgstr "Other available versions of this package"
+msgstr "Other available versions of the package"
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:74
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:72
 msgid "web_ui.items.single_version.unenable_button"
 msgstr "Forget"
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:75
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:73
 msgid "web_ui.items.single_version.disable_button"
 msgstr "Disable"
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:76
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:74
 msgid "web_ui.items.single_version.enable_button"
 msgstr "Enable"
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:80
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:79
 msgid "web_ui.items.single_version.item_not_marked"
-msgstr "This package isn't enabled."
+msgstr "The package isn't enabled."
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:83
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:82
 msgid "web_ui.items.single_version.item_disabled"
-msgstr "All versions of this package have been explicitly disabled by the user."
+msgstr "All versions of the package have been explicitly disabled by the user."
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:87
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:86
 msgid "web_ui.items.single_version.item_enabled"
-msgstr "This package has been enabled by the user."
+msgstr "The package has been enabled by the user."
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:109
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:105
 msgid "web_ui.items.single_version.unpin_button"
 msgstr "Unpin"
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:113
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:110
 msgid "web_ui.items.single_version.not_pinned"
-msgstr "This package is not pinned to any version."
+msgstr "The package is not pinned to any version."
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:118
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:115
 msgid "web_ui.items.single_version.pinned_repo_local"
-msgstr "This package is pinned to only use locally installed versions."
+msgstr "The package is pinned to only use locally installed versions."
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:122
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:118
 msgid "web_ui.items.single_version.pinned_repo_{}"
-msgstr "This package is pinned to only use versions from repository '{}'."
+msgstr "The package is pinned to only use versions from repository '{}'."
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:134
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:129
 msgid "web_ui.items.single_version.pin_local_repo_button"
 msgstr "Pin to local packages"
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:138
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:149
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:134
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:147
 msgid "web_ui.items.single_version.pin_repo_button"
 msgstr "Pin to repository"
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:145
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:141
 msgid "web_ui.items.single_version.repin_repo_button"
 msgstr "Pin to this repository"
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:154
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:164
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:155
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:166
 msgid "web_ui.items.single_version.pin_ver_button"
 msgstr "Pin to this version"
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:156
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:158
 msgid "web_ui.items.single_version.pinned_ver"
-msgstr "This package is pinned to this version."
+msgstr "The package is pinned to this version."
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:159
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:161
 msgid "web_ui.items.single_version.repin_ver_button"
 msgstr "Pin to this version"
 
-#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:161
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:163
 msgid "web_ui.items.single_version.pinned_other_ver"
-msgstr "This package is pinned to a different version."
+msgstr "The package is pinned to a different version."
+
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:171
+msgid "web_ui.items.single_version.active_ver_is_this_one"
+msgstr "This is the currently active version."
+
+#: src/hydrilla/proxy/web_ui/templates/items/package_viewversion.html.jinja:175
+msgid "web_ui.items.single_version.active_ver_is_{}"
+msgstr "Currently active version is '{}'."
 
-#: src/hydrilla/proxy/web_ui/templates/items/packages.html.jinja:22
+#: src/hydrilla/proxy/web_ui/templates/items/packages.html.jinja:23
 msgid "web_ui.packages.title"
 msgstr "Packages"
 
-#: src/hydrilla/proxy/web_ui/templates/items/packages.html.jinja:29
+#: src/hydrilla/proxy/web_ui/templates/items/packages.html.jinja:39
 msgid "web_ui.packages.heading"
 msgstr "Available packages"
 
-#: src/hydrilla/proxy/web_ui/templates/items/packages.html.jinja:53
+#: src/hydrilla/proxy/web_ui/templates/items/packages.html.jinja:73
 msgid "web_ui.packages.enabled_version_{}"
 msgstr "enabled version {}"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/add.html.jinja:22
+#: src/hydrilla/proxy/web_ui/templates/repos/add.html.jinja:23
 msgid "web_ui.repos.add.title"
 msgstr "New repository"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/add.html.jinja:24
+#: src/hydrilla/proxy/web_ui/templates/repos/add.html.jinja:26
 msgid "web_ui.repos.add.heading"
 msgstr "Configure a new repository"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/add.html.jinja:28
-msgid "web_ui.repos.add.name_field_label"
-msgstr "Name"
-
-#: src/hydrilla/proxy/web_ui/templates/repos/add.html.jinja:33
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:68
+#: src/hydrilla/proxy/web_ui/templates/repos/add.html.jinja:29
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:67
 msgid "web_ui.err.repo_name_invalid"
 msgstr "Chosen name is not valid."
 
-#: src/hydrilla/proxy/web_ui/templates/repos/add.html.jinja:38
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:73
+#: src/hydrilla/proxy/web_ui/templates/repos/add.html.jinja:33
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:71
 msgid "web_ui.err.repo_name_taken"
 msgstr "Chosen name is already in use."
 
-#: src/hydrilla/proxy/web_ui/templates/repos/add.html.jinja:46
-msgid "web_ui.repos.add.url_field_label"
-msgstr "URL"
+#: src/hydrilla/proxy/web_ui/templates/repos/add.html.jinja:37
+msgid "web_ui.repos.add.name_field_label"
+msgstr "Name"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/add.html.jinja:51
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:116
+#: src/hydrilla/proxy/web_ui/templates/repos/add.html.jinja:47
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:121
 msgid "web_ui.err.repo_url_invalid"
 msgstr "Chosen URL is not vald."
 
-#: src/hydrilla/proxy/web_ui/templates/repos/add.html.jinja:59
+#: src/hydrilla/proxy/web_ui/templates/repos/add.html.jinja:51
+msgid "web_ui.repos.add.url_field_label"
+msgstr "URL"
+
+#: src/hydrilla/proxy/web_ui/templates/repos/add.html.jinja:62
 msgid "web_ui.repos.add.submit_button"
 msgstr "Add repository"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/index.html.jinja:22
+#: src/hydrilla/proxy/web_ui/templates/repos/index.html.jinja:23
 msgid "web_ui.repos.title"
 msgstr "Repositories"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/index.html.jinja:29
+#: src/hydrilla/proxy/web_ui/templates/repos/index.html.jinja:32
 msgid "web_ui.repos.heading"
-msgstr "Configured repositories"
+msgstr "Manage repositories"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/index.html.jinja:32
+#: src/hydrilla/proxy/web_ui/templates/repos/index.html.jinja:36
 msgid "web_ui.repos.add_repo_button"
 msgstr "Configure new repository"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/index.html.jinja:52
-#: src/hydrilla/proxy/web_ui/templates/repos/index.html.jinja:62
+#: src/hydrilla/proxy/web_ui/templates/repos/index.html.jinja:41
+msgid "web_ui.repos.repo_list_heading"
+msgstr "Configured repositories"
+
+#: src/hydrilla/proxy/web_ui/templates/repos/index.html.jinja:64
+#: src/hydrilla/proxy/web_ui/templates/repos/index.html.jinja:79
 msgid "web_ui.repos.package_count_{}"
 msgstr "packages: {}"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/index.html.jinja:59
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:46
+#: src/hydrilla/proxy/web_ui/templates/repos/index.html.jinja:76
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:45
 msgid "web_ui.repos.local_packages_semirepo"
 msgstr "Local items"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:22
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:23
 msgid "web_ui.repos.single.title"
 msgstr "Repository view"
 
@@ -548,59 +586,63 @@ msgstr ""
 "Repository uses an unsupported API version. You might need to update "
 "Haketilo."
 
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:49
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:48
 msgid "web_ui.repos.single.heading.name_{}"
-msgstr "Configured repositories"
+msgstr "Repository '{}'"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:61
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:60
 msgid "web_ui.repos.single.update_name_button"
 msgstr "Change name"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:81
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:80
 msgid "web_ui.repos.single.commit_update_name_button"
 msgstr "Set new name"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:84
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:85
 msgid "web_ui.repos.single.abort_update_name_button"
 msgstr "Cancel"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:92
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:96
 msgid "web_ui.repos.single.repo_is_deleted"
 msgstr ""
 "This repository has been deleted but you're still holding packages that "
 "came from it."
 
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:108
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:102
+msgid "web_ui.repos.single.url_is_{}"
+msgstr "Current URL is '{}'."
+
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:114
 msgid "web_ui.repos.single.update_url_button"
 msgstr "Change URL"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:124
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:130
 msgid "web_ui.repos.single.commit_update_url_button"
 msgstr "Set new URL"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:127
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:135
 msgid "web_ui.repos.single.abort_update_url_button"
 msgstr "Cancel"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:133
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:145
 msgid "web_ui.repos.single.repo_never_refreshed"
 msgstr "This repository has not been refreshed yet"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:136
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:148
 msgid "web_ui.repos.single.last_refreshed_{}"
 msgstr "Last refreshed on {}."
 
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:143
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:154
 msgid "web_ui.repos.single.refresh_now_button"
 msgstr "Refresh"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:150
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:162
 msgid "web_ui.repos.item_count_{mappings}_{resources}"
 msgstr "packages: {mappings}; libraries: {resources}"
 
-#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:161
+#: src/hydrilla/proxy/web_ui/templates/repos/show_single.html.jinja:173
 msgid "web_ui.repos.single.remove_button"
-msgstr "Remove"
+msgstr "Remove repository"
 
 #: src/hydrilla/server/malcontent.py:79
 msgid "err.server.malcontent_path_not_dir_{}"