Note: This is ideally intended to be a self-contained medium for reporting suspected bugs - not a notification service for StackOverflow which itself rarely deals with bugs but rather usage questions. It would also have been polite to post here that the related question on SO has been resolved.