mcl: label as abandoned, fix what would have been syntax errors in the design-doc