Re: [arch-dev-public] New ideas for notifying users about (minor) changes