News for package prboom-plus