stretching sharpies

Just wanted to point out that, compared to June Bug, many other sharpies
are already stretched. So there may be some leeway here.