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

Ah, nice :) I missed that!