Dear Agda developers, when I make a change to the source Foo.agda, and apply the checker, does this make a difference for the check performance of whether Foo.agdai is deleted before checking or not? Thanks, ------ Sergei