Some updates to device page, including bug fix for duplicate WebSocket log subscriptions.