Yes, that's true. Alternative is from browser pull-down menu click on "View" then "Source". Thank you!