They are not part of the official Power ISA unless ratified by the
OPF ISA TWG.
[Power ISA is Trademarked](https://trademarks.justia.com/789/79/power-78979814.html).
+Draft unofficial proposals in PDF form may be found on the
+[Libre-SOC FTP site](https://ftp.libre-soc.org/opf_ext_rfc)
Constructive Feedback on Draft Proposals is best discussed on the
[Libre-SOC ISA mailing list](http://lists.libre-soc.org/mailman/listinfo/libre-soc-isa). Note that once RFCs are formally submitted, involvement in