Update pophint-config.el