scr/functions.bash: kmp-** update