After extensive rework based on feedback, we have finally released version 2.0-1e-4 of the user-level ISA spec. This is a major reworking of the ISA encoding, but we have updated all of our software tools to match. We anticipate this will be the final official version of the ISA, but welcome additional comments and feedback.