Looks like @manja hasn't received any replies!