Extensions to `novice.el'