Answer
Check the user's Employee File record for a Period assignment — a missing Period on the Employee File (rather than anything in a differently-named 'Scheduling Basic Data' screen) has been the actual cause of a Maintenance user not being selectable as a Resource in Resource Allocation. Setting the Period on their Employee File resolves it.