Looks like @maxberlin hasn't received any replies!