Re: [9fans] iwp9 proceedings

[Oleg Finkelshteyn]

> they're now properly linked from iwp9.org

as a minor note, it seems that anchor names on the page sometimes
disagree with links in the navigation strip.