FWIW, Linux has supported large PID's for a very long time. It just hasn't been default until now. I only mention because of the wording "decided to allow".

FWIW, Linux has supported large PID's for a very long time. It just hasn't been default until now. I only mention because of the wording "decided to allow". It's been allowed for a very long time.