If you confine your changes just to the "jump to definition" use case, these specs shouldn't need to change.