RF remote control receiver (433MHz ASK to decode data coded by HT6P20X series)

I like the idea with having an interrupt and writing the micros() in a buffer, this is the same idea I had when I was writing a similar program. However I am not familiar with this encoder, so I can't say anything about the decoding procedure.