To bookmark or not to bookmark

Instead of bookmarking I am printing instead with PDFcreator and let GDS later index these files. Pages (in particular supplements and news stories) are frequently vanishing while printing into a file lets me store a local copy. Printing to a PDF file is only one click away if you use the following “save” options: