Give more information on the origin of this manual

Fixes #