@sipa Wow thanks for mentioning it, thought it was a left-over because of diff-style/layout.