Gets the filename of the saved page.
string PageFileName {get;}
