Ext4 is now the primary filesystem on my laptop