LinkTips

on github - some tooltips are stale and not deleted

i have the problem while i browser on github and over some directories in a repository - the tooltips are still not deleted and commulation over time when i browse in a repo - they don't get deleted. many divs with class "__lt__container" are left at the page.

workaround: i switch on "[x] Move tip with mouse while still over a link (default: off)" it seems then only one tooltip makup is used.