We are discussing how the original animation was (or might have been) created in 1993/1994. Not what tools were used by Netscape users when creating replacements of it 3-5 years later.