Also, does this produce the same output as `os.release()`?