[2020] Export-filter Editor For Jabref For Mac