diff --git a/source b/source
index 08182d663e7..2a820faa98a 100644
--- a/source
+++ b/source
@@ -9133,60 +9133,6 @@ o.myself = o;
that can be set when the Document
is created. If it is not explicitly set, then its
value is the empty string.
Each Document
object has a reload override flag that is originally
- unset. The flag is set by the document.open(type,
- replace)
and document.write()
methods
- in certain situations. When the flag is set, the Document
also has a reload
- override buffer which is a Unicode string that is used as the source of the document when it
- is reloaded.
When the user agent is to perform an overridden reload, given a source - browsing context, it must act as follows:
- -Let source be the value of the browsing context's - active document's reload override buffer.
Let address be the browsing context's active - document's URL.
Let HTTPS state be the HTTPS - state of the browsing context's active document.
Let referrer policy be the referrer policy of the browsing - context's active document.
Let CSP list be the CSP list - of the browsing context's active document.
Navigate the browsing context to
- a new response whose body is source, header list is `Referrer-Policy
`/referrer policy, CSP list is CSP list and HTTPS state is HTTPS state, with the
- exceptions enabled flag set and replacement enabled. The
- source browsing context is that given to the overridden reload algorithm. When the navigate algorithm creates a
- Document
object for this purpose, set that Document
's reload
- override flag and set its reload override buffer to source.
- Rethrow any exceptions.
When it comes time to set the document's address in the navigation algorithm, use address as the - override URL.
- -Document
objectWhen it comes time to set the document's address, use address as - the override URL.
Run process a navigate response with resource,
@@ -82380,17 +82313,10 @@ interface Location { // but see also Setting the document's address: If there is no
- override URL, then any Document
created by these steps must have its
- URL set to the URL that was
- originally to be fetched, ignoring any other data that was used to obtain the resource. However,
- if there is an override URL, then any Document
created by
- these steps must have its URL set to that
- URL instead.
An override URL is set when dereferencing a javascript:
URL and when
- performing an overridden reload.
Setting the document's address: Any
+ Document
created by these steps must have its URL set to the URL that was originally to be
+ fetched, ignoring any other data that was used to obtain the resource.
Initializing a new Document
object: when a
@@ -91038,10 +90964,6 @@ document.body.appendChild(frame)
Replace all with null within document, without firing any mutation events.
If document is ready for post-load tasks, then set - document's reload override flag and set document's - reload override buffer to the empty string.
Change document's URL to the URL of the responsible document specified by the entry settings object.
Insert input into the input stream just before the insertion point.
If document's reload override flag is set, then append - input to document's reload override buffer.
If there is no pending parsing-blocking script, have the HTML parser process input, one code point at a time, processing resulting tokens as