I just learned that Mr. Koopman, who maintained the Alfa tool site is deceased. Sorry. -- to be removed from alfa, see /bin/digest-subs.cgi or email "unsubscribe alfa" to majordomo@domain.elided