forgot the latex example page; added a js function to fetch the last update time automatically