Javanese Wikipedia has been using the term Astamiwa (a coinage by a jvwiki user) to name the special namespace until now. However, the term is not found in any Javanese dictionary, nor is known to the native speakers. The proper term should be Mirunggan that is already there in Javanese dictionaries.
The Javanese Wikipedia community had commenced a voting for renaming this namespace. All are in favor of renaming the namespace. Here is the result of the voting.