Remove ASCII restriction from sublevel names#112

vweevers wants to merge 1 commit intomainLevel/abstract-level:mainfrom

sublevel-non-asciiLevel/abstract-level:sublevel-non-asciiCopy head branch name to clipboard