Closed discordianfish closed 7 years ago
Belongs to #492
Ok, if the plan is to change it everywhere else it makes sense to change it here. Did that and pushed it.
Belongs to #492