just stated a fact without mentioning any names

and yes, Ben should get the ignore function fixed for the bottom panel

Posted By: Ralf Scrampton, Dec 1, 14:01:21