Add a note pointing to @mozzwald's bug report