@vnikolov@ieji.de Nahh, unlikely. Looks very much like somebody tried to optimize things. "Never assume malice when stupidity is the adequate explanation."