[Kimchi-devel] [PATCH] [WoK 1/5] reload API: doc changes