Messages

I just wanted to confirm that a

   pkg install php80-pecl-mongodb

and then a reinstall of os-sensei solved the problem for me too - maybe a reboot would also work, but removing and re-adding os-sensei was less intrusive ;-)