Paul Vriens : taskmgr: Remove a useless commented line.