Sparked by Mark Jones’ question on the mailing list and SELFOUR-136.
See also https://sel4.atlassian.net/browse/RFC-7