Some formatting cleanup of developing docs