Rename back to original package names so we can still deserialize files
Friendly file readers and writers
Method to pick a random int from an IntSet
Make the #redirect check case-insensitive
Path stuff
Finish package rename
Drop unused import