Please report changes to the p-adics here. (KiranKedlaya's in-progress specification for p-adics is [attachment:p-adic-spec.tex here].)