What does the comment `IE does not save docs` mean? Maybe we should remove it?