@neauoire I remember that hard tabs are either forbidden or mandatory (but can't remember which)
@yaxu what's a hard tab?
@yaxu what's a hard tab?