Version identifier for PS4

[Johan Engelen via Digitalmars-d]

On Saturday, 11 June 2016 at 17:21:18 UTC, Markus Pursche wrote:
> On Saturday, 11 June 2016 at 17:09:59 UTC, David Nadlinger 
> wrote:
>> On Friday, 10 June 2016 at 14:37:23 UTC, Markus Pursche wrote:
>>> If this is the case we would want to use Orbis.
>>
>> As Seb also pointed out on GitHub, I've seen LLVM use "PS4" 
>> internally, and it always seemed rather natural to me. On the 
>> other hand, with Orbis I would have had no idea what the code 
>> was about, and it's not like you can really install another 
>> operating system on a PS4 anyway. (Yes, I'm aware of the 
>> Jailbreak/Homebrew community, but that's rather besides the 
>> point.)
>>
>>  — David
>
> Another argument for PS4 is that if (when) a PS5 is released 
> and we get D working on it they would follow a pattern instead 
> of calling the PS5 whatever it's OS is nicknamed.

Because of that, I prefer "PlayStation". Any additions to a 
reserved identifier name are also reserved, so it would reserve 
"PlayStation4", "PlayStation5", "PlayStationOver9000"...
And just "PS" would be very tiny.