script.gs patch

--- script.gs	2016-12-15 11:35:47.288013274 +0200
+++ new.gs	2016-12-15 11:36:52.824766596 +0200
@@ -216,6 +216,7 @@
 					text.replaceText('<h4>', '<h4 dir="rtl">');
 					text.replaceText('<h5>', '<h5 dir="rtl">');
 					text.replaceText('<h6>', '<h6 dir="rtl">');
+					text.replaceText('<dl>', '<dl dir="rtl">');
 				}
 				else if (action == 'removeRtl') {
 					text.replaceText('<p dir="rtl">', '<p>');
@@ -227,6 +228,7 @@
 					text.replaceText('<h4 dir="rtl">', '<h4>');
 					text.replaceText('<h5 dir="rtl">', '<h5>');
 					text.replaceText('<h6 dir="rtl">', '<h6>');
+					text.replaceText('<dl dir="rtl">', '<dl>');
 				}
 			}
 		}