From aae6acb48c0b32f1f4898e37441cf7133c12b97b Mon Sep 17 00:00:00 2001
From: Frans de Jonge <fransdejonge@gmail.com>
Date: Wed, 14 Aug 2019 20:50:24 +0200
Subject: [PATCH] [lang] Change 'ignore' to 'pass through' (#5209)

Hopefully pass through is clearer than ignore. Terms like capture and propagate are too jargon; almost no one without the specific domain knowledge would understand what that means.

Cf. https://github.com/koreader/koreader/issues/5204#issuecomment-521278649