devtools

move the contents of the info page into a device info dialog

#2027

Merged