Reflect astakos-related changes in documentation