HTML: Improved GoToDef precision