Okay, everything is technically working, and there's a non-hideous web page to munge it all into html. It's not working correctly, however -- the reachability rules are wrong.