Updated top-level documentation