Export verbose.icm and add docs