Max PID in 20.04 increased to 4194304

[Walt Mankowski]

Hi,

I upgraded from 19.10 to 20.04 earlier today. Later on I ran ps and
was surprised when I saw some very large process IDs. It looks like
the default maximum PID (set in /proc/sys/kernel/pid_max) has
increased from 32767 to 4194304.

I don't see this new behavior mentioned in the release notes at
https://wiki.ubuntu.com/FocalFossa/ReleaseNotes. Was it intentional?

Walt