3 ms·

Haha, tunneling IS boring! Pun attempted, pun achieved.

• jsingleton 11y ago
  That was the (intended) joke. Hard to get across in writing. The boring work is over now!