A utility to export Funnelweb comments to WXR