add example for potential bug report
fix critical error in ReadThenWrite
add options to control Qed
experiment with various Qed options leads to some insight