I'm not sure which questions fall under the tag proof-techniques. In particular, are questions which essentially ask for a specific proof of a statement appropriate? The current tag description: Questions about methods and techniques for proving theorems. doesn't seem to exclude this case,...

@user777 suggested the introduction of a tag for parameterized algorithms in a question: We should have tag about "Parameterized Algorithm" that covers the technique of this subject like: bounded search, kernelization, iterative compression, etc. I found only "Parameterized Complexity" which ...