pub trait HtmlLinkWidgetExt { // Required method fn html_link(&self, path: &[LiveId]) -> HtmlLinkRef; }