updates for extensions.txt (bug #5028)