   : Until the bug is fixed, there's nothing wrong with a harmless workaround.  It will be removed when no longer needed.  Its use in  may not be a big deal, but it was appreciated for things like . —  