History hints/linux.pl