String shortenUserAgent(String userAgent) { if (userAgent.length <= 12) { return userAgent; } return '${userAgent.substring(0, 12)}...'; }