Done, but I think push-marker should be an internal function, like `goto-definition--nth`. Feel free to remove it from the doc if you agree.