use two date formats (the second one more verbose, for tool tips)
[~bandali/bndl.org] / static / gnu.ico
2019-12-20 Amin Bandaliremove some vestigial files, add (gnu) favicon