Since the device isn't marked as broken it should be mentioned in the docs as a supported device.