Cheers – found them.
They are in the options table with name graphene settings:
select * from #####_options where option_name like ‘graphene_settings’;
Writing my javascript in a local file and copying was exactly what I’m doing now – but would be much nicer to just hit ‘Ctrl+S’, flip to my browser and hit f5 when I’m trying different things.
Was just thinking that the answer would be to find a plugin that ideally allows custom scripts per page, then realised that either way, the better option would be to just link to a separate js file and edit that.