I created a new discussion for the abandonment of PMP for Linux.
So can we leave this for packaging of PMP (for as long as that might live).