How do I know Karel is installed? Fausto Alvarado September 5, 2023 at 6:43 PM Hello, and how can install the Karel Option, some one can help me?