Some work towards reloading a file (#233).