better space compression

lib/single-file/htmlmini.js

@@ -171,11 +171,7 @@ this.htmlmini = this.htmlmini || (() => {
 				let lastTextContent;
 				while (lastTextContent != textContent) {
 					lastTextContent = textContent;
-					textContent = textContent.replace(/ +/g, " ");
-					textContent = textContent.replace(/\n+/g, "\n");
-					textContent = textContent.replace(/\t+/g, "\t");
-					textContent = textContent.replace(/\f+/g, "\f");
-					textContent = textContent.replace(/\r+/g, "\r");
+					textContent = textContent.replace(/[ \n\t\f\r]+/g, " ");
 				}
 				node.textContent = textContent;
 			}