As usual, the formatting was fixed and various obvious updates were done, but nothing major. I removed documentation of snapshots and related methods though.
