#! /bin/sh 
# Last edited on 2024-03-30 10:47:00 by stolfi
date '+%Y-%m-%d'