So which is it? robocop2018 is claiming it's AGPL/commercial dual-licensed, but you say it just has the custom license and that's the only license in the repo?