| <html>
|   <head>
|     <script>
|       src="../../resources/dump-as-markup.js"
|     "
"
|     <script>
|       "
document.write("<svg>");
"
|   <body>
|     <svg svg>
|       "

This should <strong>not</strong> be bold!

"