First steps towards hover debugger improvements