Fixes #5309: We need a script to check ordering in techniques