-- | /O(n+m)/ Find the offsets of all non-overlapping indices of
-- @needle@ within @haystack@. The offsets returned represent
--- locations in the low-level array.
+-- uncorrected indices in the low-level \"needle\" array, to which its
+-- offset must be added.
-- In (unlikely) bad cases, this algorithm's complexity degrades