> ... the ICA topos after merge?

or you send a PR to christian to his branch :)