To be honest, I'm not sure why this is here.

It's not redundant, because Debian is not in the "platforms" list (right now, only ubuntu is). I'm not sure when it is ever used...