un bookmarklet pour voir une source... pourrait être bien sur une tablette android ?

javascript:var%20sourceWindow=window.open('about:blank');var%20newDoc=sourceWindow.document;newDoc.open();newDoc.write('%3Chtml%3E%3Chead%3E'+'%3Ctitle%3ESource%20of%20'+document.location.href+'%3C/title%3E'+'%3C/head%3E%3Cbody%3E%3C/body%3E%3C/html%3E');newDoc.close();var%20pre=newDoc.body.appendChild(newDoc.createElement(%22pre%22));pre.appendChild(newDoc.createTextNode(document.documentElement.innerHTML));returnfalse;