key_commit: another tweak to doc processing filters