Originally created by Marcin Erdmann.
Currently only the documentation for page option mentions that the page is switched back after leaving the closure passed as the last parameter to withWindow() and withNewWindow() but this happens regardless of using that option or not.