gEDA-user: [pcb] drill helper

[DJ Delorie]

> Good idea, what would be the "much smaller drill hole"?

Currently, I use twice the minimum drill size (i.e. 8 mil diameter)
unless that's bigger than the actual drill.

> If it's too small, it can disappear with toner transfer,

8 mil is about 5 dots wide on a 600dpi laser printer, and you don't
need a perfect etch - just enough hole to get something etched.  Thus,
8 mil is plenty for toner transfer.