> This may have consequences for
> users who are working with large PDF documents and high DPI settings who
> may not want to re-generate the PDF every time, so it may be necessary
> to make the auto reloading an option?

IMO, selecting the "...and open" option implies that you want to (re-)load the PDF.