diff --git a/doc/udp.but b/doc/udp.but
index 499dc44b..9a183044 100644
--- a/doc/udp.but
+++ b/doc/udp.but
@@ -47,6 +47,14 @@ C99 features are available (in particular \cw{<stdint.h>},
 \cw{<stdbool.h>} and \c{inline}), but you shouldn't use things that
 are new in C11 (such as \cw{<uchar.h>} or \cw{_Generic}).
 
+One small exception to that: for historical reasons, we still build in
+one configuration which lacks \cw{<inttypes.h>}. So that file is
+included centrally in \c{defs.h}, and has a set of workaround
+definitions for the \cw{PRIx64}-type macros we use. If you need to use
+another one of those macros, you need to add a workaround definition
+in \c{defs.h}, and don't casually re-include \cw{<inttypes.h>}
+anywhere else in the source file.
+
 Here are a few portability assumptions that we \e{do} currently allow
 (because we'd already have to thoroughly vet the existing code if they
 ever needed to change, and it doesn't seem worth doing that unless we