> The question is, should it be treated as a code bug or a documentation bug?

Documentation, I think. My problem is I run into this every once in
a while and forget the solution, beat my brains for a while then
suddenly remember. Oh well, age I guess.

Thanks.

Best regards