Raspberry Pi port, piCore-15.0 is available!
It's the same cookie, but it's added for two names (:0 and hostname:0 IIRC).Do you think it should not be shown?