Oops, you're right. This is outdated :) I fetched&merged and it should be up-to-date now. PTAL.

(is this the right place to comment?)