Populates `package-selected-packages' if necessary, and then checks if symbol PKG is contained in it.
Attach a file by drag & drop or click to upload