<div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">All this is a bug metapost (multiple bugs, really) and it will be fixed<br>
in metapost 1.202 (sometime this week).<br>
</blockquote></div><br>Indeed it seems that the bug is fixed in 1.202. Thanks again Taco.<br>