Symbol menu settings and an abortive attempt at folding comments.