Updating high-level documents

[skip ci]