PHP 7.2 to 7.3 10x performance improvement? | Hacker News Reader