The convoluted story behind `np.top_k`