VLC has no problem playing it. Haven’t tried to burn to blu-ray yet. Would one want to change fps in tsmuxer or leave it?
edit: I will of course just wait until the iso version, mainly because they will tweak a few things. But I’m just curious.
Just put the MKV file into TSMuxer, with no manual frame rate adjustment. The BD-R from the resulting ISO worked fine.