Regarding your doubt, version 4.1 was supposed to fix this, but it didn't.
If you downgrade to version 4, Update Manager will tell you there's an update, since the 4.1 package wasn't dropped off the repository.
You just have to keep ignoring version 4.1 until there's a proper fix released.
This bug is actually almost 2 months old already.
Regarding your doubt, version 4.1 was supposed to fix this, but it didn't.
If you downgrade to version 4, Update Manager will tell you there's an update, since the 4.1 package wasn't dropped off the repository.
You just have to keep ignoring version 4.1 until there's a proper fix released.