Looks like @michalos hasn't received any replies!