If other people agree, I will create a separate issue for that.