A demo repo for a bug report.