Renamed to plt-notebook (now related to everything PLT, not only SICP).