PR was merged successfully on 14 of April at 04.15 AM, pull request 2257. The pool is still not showing up.