I've always sticked to `[[` as more portable (in my experience). Agreed though.