Replacing a toner cartridge