Remove all occurences of `srcSpanToLocation` and `srcSpanToRange`

[wz1000]

They are horrible, horrible functions.

{"uri":"file://%3Cno%20location%20info%3E"
,"range":{"start":{"line":0,"character":0},"end":{"line":100000,"character":0}}
}