diff --git a/dark_style.css b/dark_style.css
index a71a384..15c8501 100644
--- a/dark_style.css
+++ b/dark_style.css
@@ -105,6 +105,11 @@ hr {
 	border-color: #a0a0a0;
 	border-style: solid;
 }
+hr.thin {
+	border-width: 1px;
+	margin-top: 1em;
+	margin-bottom: 0.5em;
+}
 .borderedSection {
 	border-color: #606060;
 	border-width: 2px;
diff --git a/index.html b/index.html
index 232017a..8c3361c 100644
--- a/index.html
+++ b/index.html
@@ -203,6 +203,8 @@ A Voronoi diagram is supposed to be here but for some reason it cannot be displa
 	<br>
 	<button id="inputImportSubmit" type="button">Import</button>
 	<div id="importResultOuter" hidden><br><div id="importResultMessage"></div></div>
+	<hr class="thin">
+	<div>Hint: Use <a href="https://codeberg.org/Wuzzy/libpov_biome_exporter" title="Luanti mod: libpov_biome_exporter">libpov_biome_exporter</a> to convert game biomes to JSON.</div>
 </form>
 </div>
 </div>