Dev workflow

For anything bigger than a trivial fix, follow this sequence. Skip steps only when the tool genuinely isn't available (say so).