+ docstring url;
+
+ if (!getParam("name").empty())
+ url += getParam("name");
+ else
+ url += getParam("target");
+
+ // elide if long
+ if (url.length() > 30) {
+ url = url.substr(0, 10) + "..."
+ + url.substr(url.length() - 17, url.length());
+ }
+ return temp + url;