Is it safe to rename discobot?

Just put it this way… the pencil icons wouldn’t be there if changing name would break the bot :wink: