It works for me because it's shorter :) I'd like to rename all files in our `WikiainteractiveMaps` directory so their names will be consistent. I'll add it to the task connected with extracting AJAX entry points on PHP side. You don't have anything against renaming the files to `IntMap*.*`, do you? Again, it's a small detail and we can work on it later.