diff --git a/hvm_spec/HVM spec 80-V9418-14_A/Cache_Control.fm b/hvm_spec/HVM spec 80-V9418-14_A/Cache_Control.fm
deleted file mode 100644
index 58be60369..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/Cache_Control.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/Debug.fm b/hvm_spec/HVM spec 80-V9418-14_A/Debug.fm
deleted file mode 100644
index 8332f9189..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/Debug.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/Determining_Env.fm b/hvm_spec/HVM spec 80-V9418-14_A/Determining_Env.fm
deleted file mode 100644
index a0ac31c02..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/Determining_Env.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/Event_Model.fm b/hvm_spec/HVM spec 80-V9418-14_A/Event_Model.fm
deleted file mode 100644
index 51559bc7e..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/Event_Model.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/Exceptions.fm b/hvm_spec/HVM spec 80-V9418-14_A/Exceptions.fm
deleted file mode 100644
index f9f4e9702..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/Exceptions.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/Guest_Mode.fm b/hvm_spec/HVM spec 80-V9418-14_A/Guest_Mode.fm
deleted file mode 100644
index 7f41ef0fa..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/Guest_Mode.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/Initial_State.fm b/hvm_spec/HVM spec 80-V9418-14_A/Initial_State.fm
deleted file mode 100644
index abfc20916..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/Initial_State.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/Instructions.fm b/hvm_spec/HVM spec 80-V9418-14_A/Instructions.fm
deleted file mode 100644
index 9031b0546..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/Instructions.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/Interrupts.fm b/hvm_spec/HVM spec 80-V9418-14_A/Interrupts.fm
deleted file mode 100644
index b55e12511..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/Interrupts.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/Intro.fm b/hvm_spec/HVM spec 80-V9418-14_A/Intro.fm
deleted file mode 100644
index 4a819952a..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/Intro.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/Memory_Management.fm b/hvm_spec/HVM spec 80-V9418-14_A/Memory_Management.fm
deleted file mode 100644
index 89369b55a..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/Memory_Management.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/Processor_Resources.fm b/hvm_spec/HVM spec 80-V9418-14_A/Processor_Resources.fm
deleted file mode 100644
index 66116f705..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/Processor_Resources.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/Revision_History.fm b/hvm_spec/HVM spec 80-V9418-14_A/Revision_History.fm
deleted file mode 100644
index 11e4bd3c7..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/Revision_History.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/Trust.fm b/hvm_spec/HVM spec 80-V9418-14_A/Trust.fm
deleted file mode 100644
index cbb958b75..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/Trust.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/User_Mode.fm b/hvm_spec/HVM spec 80-V9418-14_A/User_Mode.fm
deleted file mode 100644
index 671e1fdea..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/User_Mode.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/VM_Spec.book b/hvm_spec/HVM spec 80-V9418-14_A/VM_Spec.book
deleted file mode 100644
index d065b35cb..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/VM_Spec.book and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/VM_SpecLOF.fm b/hvm_spec/HVM spec 80-V9418-14_A/VM_SpecLOF.fm
deleted file mode 100644
index fb29c3433..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/VM_SpecLOF.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/VM_SpecLOT.fm b/hvm_spec/HVM spec 80-V9418-14_A/VM_SpecLOT.fm
deleted file mode 100644
index ae8fa97eb..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/VM_SpecLOT.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/VM_SpecTOC.fm b/hvm_spec/HVM spec 80-V9418-14_A/VM_SpecTOC.fm
deleted file mode 100644
index c770b8e69..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/VM_SpecTOC.fm and /dev/null differ
diff --git a/hvm_spec/HVM spec 80-V9418-14_A/VM_Spec_cover.fm b/hvm_spec/HVM spec 80-V9418-14_A/VM_Spec_cover.fm
deleted file mode 100644
index 7c34b2eb3..000000000
Binary files a/hvm_spec/HVM spec 80-V9418-14_A/VM_Spec_cover.fm and /dev/null differ