I wonder if this "u" is meant to be "µ" and if we can thus get one into the docs. (Not a blocker for this PR!)