Version identifier for PS4

[Markus Pursche via Digitalmars-d]

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.

I am still leaning PS4, I guess the ultimate decision comes down 
to whomever can accept/reject the PR.