note specific versions of IE where progress bar animation supported; fixes #12437