if {[string first artifact $current_page] == 0 || [string first hexdump $current_page] == 0} { html "" }
Fossil $release_version $manifest_version $manifest_date
This page was generated in about puts [expr {([utime]+[stime]+1000)/1000*0.001}]s