Move documentation of user-defined counters

It was mistakenly moved to an internal module as part of a refactoring.
Small documentation tweaks