I was really sad to see Debian omitted from that list, they patched it too but were described as "other Linux distros" :(