otherwise, k doesn't play any role in the "recoding" benchmark
enabled an automatic merge when the pipeline for 6efb9301 succeeds
merged
mentioned in commit 0236cbed