More work on jump-to-function. Should it be active in 0.3? There is still something to do.