[Ur] playing audio

[Gergely Buday]

Chris wrote:

>> is there  a canonical way to play a sound file in Ur/Web? I did not
>> find neither "sound" nor "audio" in the manual.
>
> I don't believe Ur/Web supports the HTML <audio> element but you can
> add support using the C FFI. Same with <embed>, <object>, etc.

Is there a howto describing the workflow? And/or, which file contains
such definitions in the urweb distribution?

- Gergely