I can, of course, remove it and put in a separate PR if you'd like.