Intermediate commit for #714
Renamed is_file() and is_dir() and resolved a small issue
Authored by: numere 2022-07-01
Parent: [r1176]
Child: [r1178]