--- autopagerize.user.js.orig 2008-03-15 03:19:35.270184000 +0900 +++ autopagerize.user.js 2008-03-15 21:54:38.877256000 +0900 @@ -473,11 +473,16 @@ // utility functions. function createHTMLDocumentByString(str) { var html = str.replace(/<!DOCTYPE.*?>/, '').replace(/<html.*?>/, '').replace(/<\/html>.*/, '') var htmlDoc = document.implementation.createDocument(null, 'html', null) var fragment = cre