Looks like @algrinus hasn't received any replies!