The STDP problem in the Brian backend reimplementation turned out to be a typo.