What forum software is the getgrav.org forum on?

Does it happen to be a grav plugin? and if so where can you find it? I didn't see any in the plugin section

It's https://muut.com/

Thanks!

I've posted instructions for embedding a Muut forum here!

is there a manual for search patterns? e.g. i'm searching for posts related to find information about how to link to the parent page url. when i'm searching for 'parent page url' i receive a bunch of results, seeming to be linked with OR, instead of AND...