Issue #139: performance section added to documentation (merge commit)