Hello,Thank you for the answer, it is definitely not a highly important update (Just a bump with some bug fixes, with some being crashes that are quite annoying to work around) but it can be dealt without.
I'll be waiting for another month or so and then contact the MIA team like you just wrote.
Kind regards, emneo
