Hacker News Reader

Actually, they're separate. PageSpeed is still here:

They were one and the same. AMP looked more profitable, so PageSpeed Service was deprecated. Only the documentation remains.

No, they weren't. Apache mod-pagespeed is and has been a completely different effort.