Fix the first FIXME in restricted.tex

Finally we have a good approach to the remark on higher Exts from an
I-power torsion module into an arbitrary module. Also, now the
treatement of the derived category of complexes with torsion cohomology
modules parallels better the treatement of derived complete complexes.