Ivie: Lightweight Anchored Explanations of Just-Generated Code [pdf]