Colored multizeta values in positive characteristic | Synapse