[dev-context] bug in texexec --mptex

Hi Hans, There is a small bug in texexec --mptex: it deletes lines starting with a # character because it believes those are comments. Not true. Example: beginfig(1); numeric #; # = 10; % remove leading space to get error label(btex $x_1$ etex, (#,#)); endfig; end (I found this because it happens in the MP manual macros) Best wishes, Taco