is the patch updated for the new version? The difference between 0.4.0 and 0.4.1 is negligible, so the patch doesn’t need to be updated.
