Re: [armedbear-devel] Package-local nicknames landed