Diomidis Spinellis: Shell scripting for personal productivity