#6422: f25-ghc sidetag request