tests/learn.at: Workaround a race