Change Log All notable changes to the "Kani" extension will be documented in this file. [Unreleased] Initial release