>>395
document.body.innerHTMLをalertを使うなどして表示すると

<script>(function(){
var GM_xmlhttpRequest = window.GM_xmlhttpRequest;
var GM_registerMenuCommand = window.GM_registerMenuCommand;
var GM_setValue = window.GM_setValue;
var GM_getValue = window.GM_getValue;
var GM_log = window.GM_log;

//user.jsの内容

})();</script>

このようなタグが最後に追加されています。
スクリプトの実行が終わると削除されるようですが。