Code used in KRL screencasts.