how do we share this [[bug report]] with them?