Replacing a toilet flush tank