The text f094b19ab390, as Debian 7 (Wheezy) shipped it.
Shorewall6 Proxy NDP file
shorewall6-proxyndp(5) on Linux now