Login: obo Name: Ondrej Bojar Directory: /home/obo Shell: /usr/local/bin/bash Last login Fri Sep 2 11:57 2022 (CEST) on pts/5 from eduroam-mff-ms.koleje.cuni.cz No Mail. Project: To SLEEP. :-(yawn) Plan: Did you come here from my WWW page? http://www.cuni.cz/~obo If not, please do so! :-)