Hover titles are copy-pastable now. Fixes #16