Should the output perhaps contain a banner with the proton version being emitted? This makes it easy to change the output format in the future if there's a need, while making it possible for a client to detect that this has happened?