Na verdade, acho que acabei de encontrar a resposta para isso:
A resposta dele foi muito fácil de entender. Como estou desenvolvendo atualmente, tenho limpado ocasionalmente todo o cache do navegador, e é provável que isso tenha acontecido neste caso. Para a maioria dos usuários que acessam, isso não deve ser um problema.