Just because it is the same message in the end, that does not mean it is the same problem... so it is always,
always best to open a Ticket rather than hope someone else opened one that solves your issue.
The bug report link changed recently, it is now on the
Contact Us page.