I just belatedly updated from “Ponder Stibbons” to “Hrun” and my redirects using the
#redirect syntax now show “1. redirect [pagename]” instead of redirecting. The
~~REDIRECT> style still works, but of course my existing redirects use
#redirect because it’s easier to type.