Speaking of bugs, I would like to clarify the kicker card problem because I was searching the web for a proper definition and some sources say that a kicker card must be always taken from player's hand (hole cards), while others describe a kicker as the highest unused card, no matter if it belongs to the table cards or not.

Currently, we use the first approach. But if there is a reliable and official source which proves that a kicker card can be any card (not used in the winning combination), I would like to know about it.