Split mina protocol handlers; fix AddressListOption.