0c912b5698
(I have no religion about how this was done. Follow-up commits welcome)
(I have no religion about how this was done. Follow-up commits welcome)