Add FIXME note re FAIL (is it fixed yet?)
Add FIXME note re FAIL (is it fixed yet?)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle