RKE.org: Use :export: rather than :noexport:.