Document database_server bodies in standard library