Looks like @barmir hasn't commented yet!