Customize Window Manager tiling margin size

[jclusso]

• I made sure this feature is not in the commands list
• I searched and didn't find this feature request in the listed issues

I'm looking for a way to customize the margin size for the new Window Manager tiling. I saw there is a setting in the defaults called EnableTiledWindowMargins, but that's all. I'm wondering if that means the devs hardcoded this value instead of putting it in the defaults?