Compare bug 1772206, which would display the full library name as a tooltip when you hover over the shortname. I think we want both: tooltip when displaying shortname + option to display full name.
Compare bug 1772206, which would display the full library name as a tooltip when you hover over the shortname. I think we want both: tooltip when displaying shortname + option to display full name.