Reduced‐bias kernel estimators of a positive extreme value index. (11th July 2019)