Про плагин воовще не слышал. Но есть вариант, отрендерить в AVI 256 цветную, а потом отконвертить в Microsoft GIF Animator. Насколько я понял, это просто конвертилка. Как там рисовать ручками? Ну а 256 цветов, так это не принципиально. Можно и 16 млн. Но зачем, если 256 в итоге и получиться, так конвертация и корректнее, и намного быстрее, хотя с современными скоростями процессоров, +- 0,001 сек. роли не играют.