Yes, but I think it's an updated 2013 version and it also includes the specification of his "RISC5" (not RISC-V, btw) processor he designed just for the purpose

Yes, but I think it's an updated 2013 version and it also includes the specification of his "RISC5" (not RISC-V, btw) processor he designed just for the purpose of running Oberon on an FPGA