Remove main_nodoc task as it's useless