Cleaned up options, credits

put in the text, new font, fixed typos, did other formatting.  They are
as clean as they will get until we get an art asset to put behind them.