Thank you for the additional information you have supplied regarding
this <: $config.bug :> report.