add a note about PadWalker (thanks to Henry Martin for the question in #91243)