Update treehole.user.js