Building Omni/Web.hs currently fails in Omni/Newsreader/Extractor.hs with a type mismatch:
Couldn't match expected type `ByteString` with actual type `Text`
In the second argument of `Req.header`, namely `userAgent`
This appears at Omni/Newsreader/Extractor.hs:221 where Req.header "User-Agent" expects ByteString.
Impact:
Omni.Web.Core depends on newsreader modules.Ava verified: last comment from human author documents shipping/deployment with concrete evidence. Moving to Verified.
Fixed and verified Omni/Newsreader/Extractor.hs build blocker. User-Agent header now encodes Text to ByteString for req; resolved additional werror/lint issues in same module. Evidence: _/tmp/proof-t-670.md