Updating: improving some libats-docs.