Tweak comment about asynchronous record display to point at new "async.pl"