Does it still hold true what Rob wrote there? That
MediaWiki does
not support the deletion of users? Is that still the case in 1.11.0?
Or does someone know of an extension which will allow to easily
remove user accounts?
It still applies for the same reasons. What are you meant to do with
article histories of articles the deleted user edited? A user with no
(undeleted) edits can generally be deleted if you really have to (by
altering the database manually), but there's rarely any need - you can
always rename the user to "DeletedUser1".