Fixed: publishing many records may cause PHP timeout and leave workspace in half...