alerts in console mode over ssh

[aa755]

These days, I run company-coq on a remote server and miss the alerts. I tried forwarding dbus sockets as suggested here but that didnt work It seems that focus detection doesnt work over console mode, which is not surprising. Long shot, but is there some way focus detection can be made to work in console mode over ssh?
If not, I guess I would implement proof-goto-point-notify to explicitly ask for notification and have a separate key binding for it.