I'm marking this as fixed. As Diederik pointed out, both options have their merits and the current distribution is very reasonable. Feel free to re-open if you disagree.
I'm marking this as fixed. As Diederik pointed out, both options have their merits and the current distribution is very reasonable. Feel free to re-open if you disagree.