Web Inspector: save and restore source positions in back/forward history