GHC 2020-07-10

2 comments.

, https://git.io/JJYLD in jarun/googler
This is trivial at first sight but more involved when I actually sit down to write the fix. The thing is I want to collapse whitespace (`re.sub(r'[ \t\n\r]+', ' ', ...)`) everywhere, including the abstract, but I need to be careful and make sure it doesn't screw up offsets of matches.

Too late now, will finish later.

, https://git.io/JJYLy in jarun/googler
Lol they hard wrap it in HTML, wtf? What's the fucking point, it's like someone doesn't know HTML renderers collapse `[ \t\n\r]`.

<img width="665" alt="Screen Shot 2020-07-11 at 2 30 56 AM" src="https://user-images.githubusercontent.com/4149852/87187099-33484c00-c31f-11ea-8af6-4583c401fa97.png">