#17: documentation written partially for merge-customization