Add user.n_public_pins and user.n_public_boards synchronisation. With
tests.