Comment by autoref

The bad part is no file is cached between pushes, right?