Plug-in devs: include page setting?

Thanks. Sorry, that was my typo… I meant plugin.json too.