sS linux_getExternalMonitorID() {
  ret regexpFirstGroup(roundBracket(orCombineRegexps(
    map regexpQuote(linux_possibleExternalMonitorNames()))) + " connected", backtick("xrandr"));
}