I like the idea of switching it to the proper ID. Reyk
> Am 30.03.2019 um 20:31 schrieb Stuart Henderson <s...@spacehopper.org>: > > curve25519 had a proper ID (31) assigned in 2016 but we still have > the draft private-use ID in iked. Any thoughts on whether we can just > cut across to the proper ID, or whether that will be too painful? > Are many people using this already? >