Merge #730: Doc sprint 1 (fixes  #553, #625, #719)