Add case and file number facets into proceeding, format some code