UDP is assumed in the latest -05 version. The general text on encapsulation (at
the start of section 5.3) clarifies that this is not semantically significant
for the rest of the protocol design except in very specific cases (to do with
NAT traversal).