time-exts-1.0.3: multiple revisions, including timestamp compressions and documentation updates