iFrame performance issues
There are some situations where iFrame is rather slow.
- For example here it seems to backtrack a lot on the disjunctions. Maybe it should just not descend into disjunctions at all by default?
- Also, @tchajed noticed that
iFrame
is doing a lot ofAsFractional
everywhere, which might also be a too expensive default -- this is tracked separately in #351 (closed). - Cc #183 for the general "power vs performance" tradeoff in
iFrame
. - #434 for diverging iFrame because Hint Mode is accidentally being circumvented.