[Maria-discuss] future of SHOW ENGINE INNODB MUTEX in MariaDB

Hi! Morgan Tocker asked the community's opinions about SHOW ENGINE INNODB MUTEX: http://www.tocker.ca/2013/11/28/show-engine-innodb-mutex.html Despite these opinions, as Valerii Kravchuk notes on Facebook, the command disappeared in the latest 5.7 release. He also notes that the command has never been deprecated (!). Question is: will MariaDB preserve this command? Frankly, I don't know any other convenient way to obtain the same information... Regards, Federico