I don't see this behaviour, or the corresponding "refresh" directive either in the source code of this branch or in my browser's "page source" view. Looks like it has been fixed.
Please reopen this bug if you still experience the problem on a recent build of the documentation website.
I don't see this behaviour, or the corresponding "refresh" directive either in the source code of this branch or in my browser's "page source" view. Looks like it has been fixed.
Please reopen this bug if you still experience the problem on a recent build of the documentation website.