<div dir="ltr">There seem to be agreement that the ability to override theme icons makes sense as a backend, not user visible feature. Since that's the only dependency for Walter proposal I think we could probably just punt the icon change feature from 0.100. In the proposed implementation it's not a feature of core anymore.<br>
</div>