Casdoc: unobtrusive explanations in code examples. - Mathieu Nassif; Zara Horlacher; Martin P. Robillard (ICPC, 2022)