Comment by Legogris

Without looking closer I just assumed it was trivially extracted from the frontend.