Any comment on this? It would be nice if using`package-pinned-packages' could somehow solve this.