minixml.c: now handle XML comments