I think it is best not to spend more time on this for now, given that the bug is affecting some users.