A new version of Hover is available. This release fixes a minor bug in the default setting of domTT’s path.