With version 13.05, the developers of the Genode OS Framework take measures to ensure that Genode continues to scale well with a growing number of users and the steadily broadening platform coverage. Further highlights are the improved SoC support for Exynos 5, OMAP4, Raspberry Pi, i.MX, and new components for realizing headless systems.

I am very sorry for the previous comment, i was in a really bad mood for an unrelated reason. It seems that it only appears in firefox for me so it is probably an extension problem.
Once again, sorry. It will not happen again.