I think enough time has passed that it is safe to do this now. This reverts commit 1003161a848970e782633959904ea776dda7e48b.