edd_dev_is_type(9) on Linux

The text ac9e298c4a41, as Debian 9 (Stretch) shipped it. The page shows this text now.

is this EDD device a 'type' device?

edd_dev_is_type(9) on Linux now