I just started printing Nico's helmet, then I found this thread! Are you making these updates available anywhere?
What software did you use to make the changes? I have another non TK bucket that could do with some of these improvements such as assembly tabs etc. I tried fusion 360 but the files are too big to manipulate. Sorry for all the questions!