the other day I saw a post about someone's project that was able to edit headers of mkv files but I can't remember what platform it was on, the name of it, or anything else; I'm currently in a cold war with getting MKVtool to not crash so I welcomed an alternative but apparently forgot to bookmark