Remove kani path popup #120
Description
The Kani path doesn't need to be displayed as a popup every time the extension activates. Needs to be removed.
{{ message }}
The Kani path doesn't need to be displayed as a popup every time the extension activates. Needs to be removed.