Disclosure: the button above does not work, despite the fact that the JS code looks like it should work.