4.0.7.39:

-  edit_device_list() -> better display of the table for known device types and actual devices;