Normal
can you try "File" -> "Clean Cache" in Extension Manager please and then update the list again? This issue was def. fixed from the list days ago but there may be leftovers in local KnownExtensions.xml