On Monday, 14 January 2019 at 17:59:53 UTC, Jacob Shtokolov wrote: > > [..] Nice catch! > Bug or not? Bug. > Should I create a bug report? Yes, please!