The “tlcore with demands” and “reactive tlcore” entries have been updated: The ## has been replaced with $$.