Is it a good idea to use something else besides IE11 on my computer until Microsoft releases a patch?