--- a/src/site.js	Sun Nov 06 17:39:21 2022 -0700
+++ b/src/site.js	Tue Nov 08 14:02:28 2022 -0700
@@ -63,3 +63,10 @@
 function fileButtonClick(button) {
 	button.parentNode.querySelector('input[type="file"]').click();
 }
+
+function fixTextarea(textarea) {
+	let height = textarea.scrollHeight;
+	if( height > textarea.clientHeight ) {
+		textarea.style.height = height + "px";
+	}
+}