Hi Joe, Is there any particular process you'd prefer Coin bug reports to go through, or should they just be filed at the usual place? Mark