Fix IETF Datatracker script
Fix IETF Datatracker script

When using Greasemonkey 4 in Firefox, variables in `window` is not
available in Greasemonkey script.
franklinyu/snippets,franklinyu/snippets,franklinyu/snippets