FIX: ignsdk manpage