Change the ending of strip-text-prefix

The new version is better documented and doesn't rely on the result of a
cond with all conditions false and no else clause.