Some time ago the port of mysql-server has an option to turn DTRACE support via HAVE_DTRACE. Currently this option is not available and the dtrace -l on startup of the MySQL server does not show any mysql-related probes, so this feature is disabled by default. For whatever reason this support has been removed, can we expect it to return as an option? Thanks.