It turns out that Inter­net Explo­rer caches AJAX requ­ests (how cle­ver). If you’re using $.ajax(), you can pass cache: fal­se option to it, but if — like me — you’re using $.get() and $.post(), just use

$.ajaxSetup({cache: false});

some­whe­re at the start of your script.