@bajtos On second thought, I think you're right. Let's leave out the defaults for now. If there are appropriate defaults, they'll become apparently later.