I just turned this on an what were seeing is in the PR activity log seemingly random users are being shown as adding the default user to the pr. Is there any documentation on how this should work?