Super brief notes on DNS resolution.