And just in case either of you two subscribed to this thread, read my answer and has not commented on GitHub: Do it now! As it stands it looks like an isolated incident, the more people comment on the GitHub issue the more likely it is to be picked up as a real issue. ;)