sync back the stdlib doc from the man page