Sorry for the delay here. The problem was indeed that the assumption that TL2 users have posted was encoded in the logic. This has now been fixed: