I'm gonna tell whoever's working on Sokoban to fix that.

― j_blow, 2017-08-04