More documentation restoration