Fixed bug #12413: Rename extension "list" to "recordlist"