- PR `#6690` merged? no; open/mergeable