Disable --refid on rivet-mkhtml: it doesn't work because rivet-cmphistos doesn't support it (and clearly no-one is using it...)