I have considered this, but this option is intended as a quick filter that the user can reset/update on a daily basis, while the kind:10000 mute list seems more suitable for permanent muting (it is a replaceable event).