@Megalomaniak I didn't say I'd pester the developers out of the blue, just if I needed to code this myself in GDScript ;)
Seriously though, I've opened the issue.
For future reference, here's the proposal posted by @xyz: https://github.com/godotengine/godot-proposals/issues/3453
