Looks like @barrelofoil hasn't received any replies!