My tools>export option has vanished - even when reverting to the default TwentySeventeen theme.
Direct access to /wp-admin/export.php delivers 'Sorry, you are not allowed to access this page.' I'm wondering 'why', and what the fix is.
I restored the missing option by adding this to functions:
$admin_role = get_role( 'administrator' );
$admin_role->add_cap( 'export', true );
And now, even when that code is commented-out, 'export' is available.
I don't pretend to understand why.