Editor: add a link to the install source page

edit.html

@@ -81,6 +81,16 @@
 			#name {
 				width: 100%;
 			}
+			#basic-info-name {
+				display: flex;
+				align-items: center;
+			}
+			#url {
+				margin-left: 0.25rem;
+			}
+			#url:not([href^="http"]) {
+				display: none;
+			}
 			#enabled {
 				margin-left: 0;
 				vertical-align: middle;
@@ -353,6 +363,7 @@
 			<section id="basic-info">
 				<div id="basic-info-name">
 					<input id="name" class="style-contributor" i18n-placeholder="styleMissingName">
+					<a id="url" target="_blank"><img src="world_go.png"></a>
 				</div>
 				<div id="basic-info-enabled">
 					<input type="checkbox" id="enabled" class="style-contributor">

edit.js

@@ -746,6 +746,7 @@ function init() {
 function initWithStyle(style) {
 	document.getElementById("name").value = style.name;
 	document.getElementById("enabled").checked = style.enabled == "true";
+	document.getElementById("url").href = style.url;
 	tE("heading", "editStyleHeading", null, false);
 	// if this was done in response to an update, we need to clear existing sections
 	document.querySelectorAll("#sections > div").forEach(function(div) {