If anyone was wondering, any replays/times I've uploaded for the Mini are done with no driver aids used, including manual clutch.
(Not that you need to use the clutch anyway...but that's another story.)