3 ms·

Yeah, it is, It's not a complete list of available Linux commands, maybe GNU/Unix is a better description.