Add comment documenting the Firefox bug we're working around.