minor edit of read_events() doc and add 8.1.3 version
history item.  #4071