Когда в 3.5 включено javascript.options.jit.content, браузер время от времени подтормаживает на полсекунды при прокрутки и проигрывании анимированных gif-ов. Отключаешь javascript.options.jit.content - всё в порядке. Баг присутствует и на чистом браузере, установленном с нуля.