https://github.com/briangmilnes/verus-etags Not sure if this is easier or whether to jump directly to solving #17 since that _should_ give us the full good jumping functionality.