--- a/src/site.js	Thu Nov 17 22:00:59 2022 -0700
+++ b/src/site.js	Tue Nov 22 22:57:43 2022 -0700
@@ -1,21 +1,3 @@
-
-function ajax(url,postData) {
-	let request = new XMLHttpRequest();
-	let method = postData ? 'POST' : 'GET';
-	request.open( method, url );
-	if( postData )
-		request.setRequestHeader( 'Content-Type', 'application/x-www-form-urlencoded' );
-	request.onload = function() {
-		if( request.status !== 200 ) {
-			window.console && console.log( 'ajax failed: ' + request.status );
-			if( request.responseText )
-				document.write('<pre>'+request.responseText+'</pre>');
-			return;
-		}
-		eval( request.responseText );
-	};
-	request.send(postData);
-}
 
 window.onerror = function(msg, url, line, col, error) {
 	if (!url)