[mr_toad]

Browser APIs are deprecated surprisingly often (although, usually the ones that were not often used or didn’t work out well).