This page contains corrections to the content of Nerd Terminal.