ide-tape: remove comments markup from Documentation/ide/ide-tape.txt