miniState stuff added, see readme