On Wednesday, 26 February 2014 at 01:32:43 UTC, Mike wrote: > I created an enhancement request here: > https://d.puremagic.com/issues/post_bug.cgi. Damn! Here's the correct link: https://d.puremagic.com/issues/show_bug.cgi?id=12259 Mike