Ignore rule shortcut

Don't merge yet, just for review.

See #65.