Now #1126. Assigned to @wasade, but re-assign if that's not right (should be a 2 minute change though, just ``git mv``).