That PR isn't merged yet, so... yes.