@Vague Rant
http://www.gnu.org/licenses/gpl-faq.en.html#GPLRequireSourcePostedPublic
So yes, since this is a modification/fork of Frodo, according to the GPL, releasing source code is required. However, due to the author of the fork being very reluctant to do such a thing, might not be worth...