[Agda] Are .agdai files portable?

[kahl at cas.mcmaster.ca]

I am enjoying the fact that now more of my theories can typecheck
withing a 4GB address space --- thanks a lot!
But since that still takes quite long in many cases
(several hours each theory), this opens up another question:

Are .agdai files portable?

If yes, is this by design, or by accident?
Main question here: Will they continue to be portable?

Would checking a shipped .agdai file against the underlying .agda theories
be any easier than recreating the .agdai file?


Wolfram