Some bash shortcuts, pretty cursors, promote to let, and text formatting options.