Rename learn.pl to learn (liberal commenting).pl