How does it look like in SeaMonkey? In that case the platform repository is not the gecko repository, right?