[1] WICG/interventions: A place for browsers to collaborate on browser interventions. () <https://github.com/WICG/interventions>
[2] User Agent Intervention - Google ドキュメント () <https://docs.google.com/document/d/1E16tmoOveGopys9Fx4Nn8x8P9q7Jm6CJIqoJyz31tlg/edit?pref=2&pli=1>
[3] Allow not executing scripts inserted by document.write() by domenic · Pull Request #1400 · whatwg/html () <https://github.com/whatwg/html/pull/1400>