Please report changes to the p-adics here. (KiranKedlaya's in-progress specification for p-adics is here.)