Hi mfournier, Justin submitted these changes for me as part of other work his was working on at the time, so I'll respond.

This seems like it might probably be true.  I haven't looked deep into the variances within the osfamily regarding selinux support.  In theory it should all be the same though and you're probably correct.