Yea totally agree - I read his message as he was seeing only a /56 from his ISP using VyOS but I think you’re right.