@cdevroe That’s been discussed. And I think it’s been filed as a bug. (?) cc @sm @joshelman