html_decode             decode a single element character vector using
                        Christoph's C++ code
                        https://stackoverflow.com/a/1082191/10437891
